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条。
今日热词
目录 附录 查词历史