10.3969/j.issn.1004-3918.2004.06.004
关于MV-代数的逻辑性质
MV-代数是C.C.Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的.它通过逻辑的观点,更进一步观察MV-代数的模型论性质.在本文中,我们研究了MV-代数的逻辑性质,得出形式化的MV-代数理论在子模、同态链的并之下有所保留;我们也证明了这个形式化的理论既不完备也不模型完备.
MV-代数、完备性、模型完备性
22
O159(代数、数论、组合理论)
2004-12-02(万方平台首次上网日期,不代表论文的发表时间)
共3页
738-740