关于MV-代数的逻辑性质

• 作者: 梁俊奇 赵玲
• 来源期刊: 河南科学
• 关键词: MV-代数 完备性 模型完备性
• 年，卷（期）: 2004,（6）
• 页码范围: 738-740
• 页数: 3页
• 分类号: O159
• 语种: 中文
• DOI: 10.3969/j.issn.1004-3918.2004.06.004

摘要

MV-代数是C.C.Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的.它通过逻辑的观点,更进一步观察MV-代数的模型论性质.在本文中,我们研究了MV-代数的逻辑性质,得出形式化的MV-代数理论在子模、同态链的并之下有所保留;我们也证明了这个形式化的理论既不完备也不模型完备.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁俊奇	商丘师范学院数学系	49	77	5.0	6.0