Lukasiewicz3-值命题逻辑的强完全性证明-安徽大学学报(哲学社会科学版)2008年02期-手机知网

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

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

机　构:

安徽大学哲学系安徽合肥230039;

领　域:

逻辑学；

关键词:

3-值逻辑；极大一致集；解释；完全性；

格　式:

PDF原版；EPUB自适应版(需下载客户端)