论文信息 - The Sound and Complete Gentzen Deduction System for the Modalized Łukasiewicz Three-Valued Logic

The Sound and Complete Gentzen Deduction System for the Modalized Łukasiewicz Three-Valued Logic

A modalized Łukasiewicz three-valued propositional logic will be proposed in this paper which there are three modalities [t]; [m]; [f] to represent the three values t; m; f; respectively. And a Gentzen-typed deduction system will be given so that the the system is sound and complete with respect to the Łukasiewicz three-valued semantics Ł 3 , which are given in soundness theorem and completeness theorem.

Cungen Cao | Yuefei Sui

[1] Melvin Fitting,et al. Many-valued modal logics II , 1992 .

[2] S. Gottwald. A Treatise on Many-Valued Logics , 2001 .

[3] Reiner Hähnle,et al. Advanced Many-Valued Logics , 2001 .

[4] N. Rescher. Many Valued Logic , 1969 .

[5] Arnon Avron. Gentzen-type systems, resolution and tableaux , 2004, Journal of Automated Reasoning.

[6] Arnon Avron,et al. Natural 3-valued logics—characterization and proof theory , 1991, Journal of Symbolic Logic.

[7] Merrie Bergmann,et al. On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus , 1981 .

[8] Emil L. Post. Introduction to a General Theory of Elementary Propositions , 1921 .

[9] Stephen Cole Kleene,et al. On notation for ordinal numbers , 1938, Journal of Symbolic Logic.