论文部分内容阅读
在MV-代数中引入了⊕理想概念,并对⊕理想与同余关系的联系及其相关性质进行了初步研究。在MV-代数中利用蕴涵算子⊕给出了⊕理想的等价表示形式,进一步揭示了⊕理想与MP滤子的内在联系;在MV-代数中研究了⊕理想与同余关系之间交互诱导的性质,揭示了⊕理想与同余关系的联系;利用经典代数的方法证明了⊕理想所诱导的同余关系所确定的商代数仍是MV-代数,进而证明了通过⊕理想所决定的商代数是线性MV-代数当且仅当⊕理想是素⊕理想。