HomomorphismsBNC²³⁶²¹³⁺¹ 基本例句 同态原型homomorphism的复数 In this paper, we study the logical properties of MV- algebras. We proved that the formalized MV- algebras theory is preserved under submodels, homomorphisms, and unions of chains; 在本文中，我们研究了 MV代数的逻辑性质，得出形式化的 MV代数理论在子模、同态链的并之下有所保留； cnki