交换公理
Exchange axiom
以上为机器翻译结果，长、整句建议使用 人工翻译 。
本文通过对合交换半群概念的引入，对MV -代数建立了几组等价公理系，对原有的公理系进行了较好的简化。
In this paper, we introduce the notion of involution commutative semi-group, and give some equivalence axioms of MV - algebras.
youdao
应用推荐
模块上移
模块下移
不移动