电子学报
電子學報
전자학보
Acta Electronica Sinica
2015年
6期
1137-1143
,共7页
逻辑代数%BR0-代数%素并-理想%MT理想%扩展%素MT理想%存在性
邏輯代數%BR0-代數%素併-理想%MT理想%擴展%素MT理想%存在性
라집대수%BR0-대수%소병-이상%MT이상%확전%소MT이상%존재성
logic algebra%BR0-algebras%prime union-ideal%MT ideal%extension%prime MT ideal%existence
BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了BR0-代数中素并-理想的存在性;其次,利用对偶范畴的思想方法和MP滤子的特征,在BR0-代数中提出了MT理想,极大MT理想,素MT理想等概念,讨论了它们的基本性质及相互关系,并通过素并-理想构造性的证明了素MT理想的存在性;最后,在非退化的BR0-代数中证明了任何一个真MT理想可以扩展为一个极大素MT理想.本文的工作是对BR0-代数研究内容和方法的有益补充.
BR0-代數是一類重要的基礎邏輯代數,其中著名的MV代數和R0-代數均是BR0-代數的特款,因而對BR0-代數研究結果具有普遍的實用性.首先,通過BR0-代數中極大併-理想的存在性證明瞭BR0-代數中素併-理想的存在性;其次,利用對偶範疇的思想方法和MP濾子的特徵,在BR0-代數中提齣瞭MT理想,極大MT理想,素MT理想等概唸,討論瞭它們的基本性質及相互關繫,併通過素併-理想構造性的證明瞭素MT理想的存在性;最後,在非退化的BR0-代數中證明瞭任何一箇真MT理想可以擴展為一箇極大素MT理想.本文的工作是對BR0-代數研究內容和方法的有益補充.
BR0-대수시일류중요적기출라집대수,기중저명적MV대수화R0-대수균시BR0-대수적특관,인이대BR0-대수연구결과구유보편적실용성.수선,통과BR0-대수중겁대병-이상적존재성증명료BR0-대수중소병-이상적존재성;기차,이용대우범주적사상방법화MP려자적특정,재BR0-대수중제출료MT이상,겁대MT이상,소MT이상등개념,토론료타문적기본성질급상호관계,병통과소병-이상구조성적증명료소MT이상적존재성;최후,재비퇴화적BR0-대수중증명료임하일개진MT이상가이확전위일개겁대소MT이상.본문적공작시대BR0-대수연구내용화방법적유익보충.