欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
首先，在MTL一代数中给出了演绎系统的定义；其次，提出了MTL一代数余零化子的概念，并研究了它们的一些基本性质；最后，讨论了MTL一代数中余零化子与演绎系统的关系，证明了MTL一代数的演绎系统A的余零化子A^⊥。是素的演绎系统的充要条件：A是线性的且A≠{1}。
英文摘要：
Firstly, the definition of deductive system is given and its properties are investigated on the MTL-algebras Secondly, the concept of co-annihilator is introduced and its behavior is discussed in the MTL-algebras; Finally, the relation between co-annihilator and deductive system is researched in the MTL-algebras, and it is proved that in the MTL-algebras the co-annihilator A^⊥ of a deductive system A is a prime deductive system if and only if A is linear and A=/= {1}.
同期刊论文项目
同项目期刊论文
期刊信息
位置：