计算机工程与应用Issue(2):60-63,93,5.DOI:10.3778/j.issn.1002-8331.1304-0391
MV-代数中的Å理想与同余关系及其相关性质
Properties and connection of Å ideal and congruence relation in MV-algebras
摘要
Abstract
The concept of Å ideal is introduced in MV-algebra and the properties and connection of Å ideal and congru-ence relation in MV-algebras are discussed. The equivalent representation of Å ideal is given by implication operator, and the internal relation between Å ideal and MP-filter is revealed. The properties of alternately deducing between Å ideal and congruence relation of MV-algebras are studied and the connection of Å ideal and congruence relation is clear. It is proved that the quotient algebras deduced by Å ideal in MV-algebra are also MV-algebras by classical algebra’s method. Furthermore, it is proved that the quotient algebra deduced by Å ideal is linear algebra if and only if Å ideal is a prime Å ideal.关键词
逻辑代数/MV-代数/Å理想/素Å理想/同余关系/交互诱导/应用Key words
logical algebra/MV-algebra/Å ideal/prime Å ideal/congruence relation/alternately deducing/application分类
数理科学引用本文复制引用
文贤红,吴洪博..MV-代数中的Å理想与同余关系及其相关性质[J].计算机工程与应用,2015,(2):60-63,93,5.基金项目
国家自然科学基金(No.11171196);陕西省自然科学基础研究计划项目(No.2013JM1023)。 ()