Abstract
In this paper, we establish the graded syntax theory of lattice-valued propositional logic based on finite lattice implication algebras, define the notions of syntactic consequence operation and formal proof, and develop a kind of graded finite lattice-valued propositional calculus. By generalizing classic provable equivalence relation, we present a kind of generalized provable equivalence relation, and establish the corresponding quotient algebra. Finally, we establish the generalized deduction theorem by syntactic consequence operation, and establish the completeness in Pavelka’s sense based on finite chains.
Similar content being viewed by others
References
Tarski A. Remarques sur les notions fondamentales de la méthodologie des mathématiques. Ann Soc Pol Math, 1928, 6: 270–271
Tarski A. O pojciu wynikania logicznego. Przeg Foloz, 1936, 39: 58–68
Tarski A. Logic, Semantics, Metamathematics. 2nd ed. USA: Hackett Pulishing Company Inc., 1983
Pavelka J. On fuzzy logic(I, II, III). Z fur Math Logic Grundl Math, 1979, 25: 45–52, 119–134, 447–464
Novák V, Perfilieva I, Močkoř J. Mathematical Principles of Fuzzy Logic. USA: Kluwer Academic Publishers, 1999
Novák V. Which logic is the real fuzzy logic? Fuzzy Set Syst, 2006, 157: 635–641
Marks-II R J. Fuzzy Logic Technology and Applications. IEEE Technological Activities Board, 1994
Esteva F, Godo L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Set Syst, 2001, 123: 271–288
Esteva F, Godo L, Noguera C. On expansions of WNM t-norm based logics with truth-constants. Fuzzy Set Syst, 2010, 161: 347–368
Mundici D, Cignoli R, D’Ottaviano I M L. Algebraic Foundations of Many-Valued Reasoning. Dordrecht: Kluwer Academic Publishers, 2000
Gottwald S. A Treatise on Many-Valued Logics. Baldock: Research Studies Press Ltd., 2001
Hájek P. Metamathematics of Fuzzy Logic, Trends in Logic. Dordercht: Kluwer Academic Publishers, 1998. Vol 4
Cintula P, Hájek P. Triangular norm based predicate fuzzy logics. Fuzzy Set Syst, 2010, 161: 311–346
Esteva F, Godo L, Noguera C. First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties. Ann Pure Appl Logic, 2009, 161: 185–202
Novák V. First-order fuzzy logic. Stud Logic, 1982, 46: 87–109
Novák V. On fuzzy type theory. Fuzzy Set Syst, 2005, 149: 235–273
Novák V. Fuzzy logic with countable evaluated syntax revisited. Fuzzy Set Syst, 2007, 158: 929–936
Turunen E. Mathematics Behind Fuzzy Logic. Berlin: Springer, 1999
Xu Y, Ruan D, Qin K Y, et al. Lattice-Valued Logic-an Alternative Approach to Treat Fuzziness and Incomparability. Berlin/Heidelberg/New York: Springer-Verlag Press, 2003
Xu Y, Liu J, Ruan D, et al. Determination of α-resolution in lattice-valued first-order logic LF(X). Inform Sciences, 2011, 181: 1836–1862
Ying M S. Deduction theorem for many-valued inference. Z Math Logik Grundl Math, 1991, 37: 533–537
Ying M S. The fundamental theorem of ultraproduct in Pavelkas logic. Z Math Logik Grundl Math, 1992, 38: 197–201
Pan X D, Xu Y. Semantic theory of finite lattice-valued propositional logic. Sci China Inf Sci, 2010, 53: 2022–2031
Pan X D, Xu Y, Zhang Q. Lattice implication algebraic equations in lattice implication algebras (in Chinese). J Southwest Jiaotong Univ, 2005, 40: 842–845
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pan, X., Meng, D. & Xu, Y. Syntax theory of finite lattice-valued propositional logic. Sci. China Inf. Sci. 56, 1–12 (2013). https://doi.org/10.1007/s11432-012-4580-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11432-012-4580-0