通过在剩余格L中引入条件:a,b∈L,(a→(a→b))∨(b→(b→a))=1,建立弱MTL代数结构,讨论弱MTL代数中极大(素)演绎系统和极大(素)同余关系的基本性质以及两者之间的联系,证明了弱MTL代数中(极大,素)同余关系与(极大,素)演绎系统一一对应。
Weak MTL algebras were established by adding the condition a,b∈L,( a→( a→b) ∨( b→( b→a)) = 1 to a residual lattice. Some properties of the maximal( prime) deductive system and the maximal( prime) congruence relation and relationships between them were discussed in weak MTL algebras. It was proved that there was a one-to-one correspondence between( maximal,prime)congruence relation and( maximal,prime) deductive system in weak MTL algebras.