%0 Journal Article
%T Lukasiewicz3值命题逻辑的强完全性证明
%A 霍书全
%J 安徽大学学报(哲学社会科学版)
%P 43-45
%D 2008
%X 证明有穷多值逻辑系统的完全性有多种方法，经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3值命题逻辑中成功地应用了这种方法，但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑。构建一个可以推广到其他有穷多值逻辑的典型模型，应用这个模型可以重新证明Lukasiewicz3值命题逻辑的强完全性。
%U http://ahdxzsb.paperopen.com/oa/DArticle.aspx?type=view&id=200802008