函数完备的n+1值逻辑公理系统的强完全性

下载PDF

导出

摘要构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性。证明利用了一个特殊的否定词,比其他方法更为简便。该证明方法还可以证明该系统是函数完备的。

作者霍书全

机构地区安徽大学哲学系

出处《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2009年第5期35-38,共4页 Journal of Anhui University(Philosophy and Social Sciences Edition)

基金安徽大学人才队伍建设项目

关键词多值逻辑完全性极大一致集

参考文献7

1ROSSER J B, TUEQUETTE A. Many-valued Logics[M]. Amsterdam: North-Holland, 1952:27 -48.
2GOTTWALD S. A Treatise on Many-Valued Logics[ M ]. Baldock: Research Studies Press Ltd. ,2001:214 -249.
3GOLDBERG H, LEBLANC H, WEAVER G. A strong completeness theorem for 3 -valued logic[ J]. Notre Dame Journal of Formal Logic, 1974 ( 15 ) :325 - 330.
4LEBLANC H. A strong completeness theorem for 3 - valued logic : Part Ⅱ[J]. Notre Dame Journal of Formal Logic,1977(18):107-116.
5BOICESCU V, FILIPOIU A, GEORGESCU G, et al. Lukasiewicz-Moisil Algebras [M]. Amsterdam: North-Holland,1991:459-470.
6ANSHAKOV O, RYCHKOV S. On finite- valued propositional logical calculi [ J ]. Notre Dame Journal of Formal Logic, 1994 (36) : 606 - 629.
7霍书全.Lukasiewicz3-值命题逻辑的强完全性证明[J].安徽大学学报（哲学社会科学版）,2008,32(2):43-45. 被引量：1

1GOLDBERG H, LEBLANC H, WEAVER G. A Strong Completeness Theorem For 3-valued Logic [ J ]. Notre Dame Journal of Formal Logic, 1974,15 (2) :325 - 332.
2LEBLANC H. A Strong Completeness Theorem For 3-valued Logic : Part Ⅱ[ J]. Notre Dame Journal of Formal Logic, 1977,18 ( 1 ) : 107 - 116.
3BOICESCU V, FILIPOIU A, GEORGESCU G, etc. Lukasiewicz-Moisil Algebras [M]. Amsterclam: North-Holland publ. comp,1991.459 -470.
4ANSHAKOV O, RYCHKOV S. On Finite-Valued Propositional Logical Calculi[ J]. Notre Dame Journal of Formal Logic, 1994,36 (4) :606 - 629.
5ROSSER J B, TUEQUETTE A. Many-valued Logics [ M ]. Amsterdam: North-Holland publ. comp, 1952.

安徽大学学报（哲学社会科学版）

2009年第5期

内容加载中请稍等...