10.3969/j.issn.1001-5019.2008.02.008
Lukasiewicz3-值命题逻辑的强完全性证明
证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑.已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑.构建一个可以推广到其他有穷多值逻辑的典型模型,应用这个模型可以重新证明Lukasiewicz3-值命题逻辑的强完全性.
3-值逻辑、极大一致集、解释、完全性
32
B815.2(逻辑学(论理学))
安徽大学校科研和教改项目
2008-06-18(万方平台首次上网日期,不代表论文的发表时间)
共3页
43-45