摘要
证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑。构建一个可以推广到其他有穷多值逻辑的典型模型,应用这个模型可以重新证明Lukasiewicz3-值命题逻辑的强完全性。
出处
《安徽大学学报(哲学社会科学版)》
CSSCI
北大核心
2008年第2期43-45,共3页
Journal of Anhui University(Philosophy and Social Sciences Edition)
基金
安徽大学人才队伍建设经费资助