Lukasiewicz3-值命题逻辑的强完全性证明

Lukasiewicz3-值命题逻辑的强完全性证明
霍书全
【期刊名称】《安徽大学学报（哲学社会科学版）》
【年(卷),期】2008(032)002
【摘要】证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑.已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑.构建一个可以推广到其他有穷多值逻辑的典型模型,应用这个模型可以重新证明Lukasiewicz3-值命题逻辑的强完全性.
【总页数】3页(P43-45)
【作者】霍书全
【作者单位】安徽大学哲学系,安徽,合肥,230039
【正文语种】中文
【中图分类】B815.2
【相关文献】
1.函数完备的n+1值逻辑公理系统的强完全性
2.关于正规模态命题逻辑系统的完全性证明
3.中介命题逻辑系统的强完全性
4.命题逻辑联结词完全性证明
——数学归纳法的应用5.命题逻辑联结词完全性证明--数学归纳法的应用
因版权原因，仅展示原文概要，查看原文内容请购买。