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

摘要：

证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑.已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑.构建一个可以推广到其他有穷多值逻辑的典型模型,应用这个模型可以重新证明Lukasiewicz3-值命题逻辑的强完全性.

关键词：3-值逻辑、极大一致集、解释、完全性

所属期刊栏目：32

分类号：B815.2(逻辑学(论理学))

资助基金：安徽大学校科研和教改项目

在线出版日期：2008-06-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：43-45