It is proved that weak MV-algebras and IMTL-algebras are equivalent, and the IMTL axiom system is simplified from 11 items to 8 items.
英
美
摘要证明瞭弱MV-代数与IMTL代数是等价的代数结构;把IMTL公理系统的11条公理简化为8条。
目录
查词历史
英 汉