MTL-代数的演绎系统和余零化子及其相互关系

摘要：

首先,在MTL-代数中给出了演绎系统的定义;其次,提出了MTL-代数余零化子的概念,并研究了它们的一些基本性质;最后,讨论了MTL-代数中余零化子与演绎系统的关系,证明了MTL-代数的演绎系统A的余零化子A⊥是素的演绎系统的充要条件:A是线性的且A≠{1}.

关键词：MTL-代数、余零化子、演绎系统、剩余格、关系

所属期刊栏目：28

分类号：O141(数理逻辑、数学基础)

资助基金：国家自然科学基金资助项目11171196

在线出版日期：2014-04-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：9-14