海词手机词典
  • 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.

    播放读音 播放读音