On finite-valued propositional logical calculi

DOI10.1305/ndjfl/1040136920zbMath0852.03009WikidataQ63762582 ScholiaQ63762582MaRDI QIDQ1913635

Yanyan Li

Publication date: 5 December 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040136920

zbMATH Keywords

completeness; many-valued logic; Hilbert-type propositional calculi; truth-complete \({\mathbf C}\)-extending logics

Mathematics Subject Classification ID

03B50: Many-valued logic

Related Items

Anshakov-Rychkov algebras, De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic]

Cites Work

• The algebra of conditional logic
• On axiomatization of many-valued logics associated with formalization of plausible reasonings
• Definability and quantifier elimination for \(J_ 3\)-theories
• Satisfiability in many-valued sentential logic is NP-complete
• An algebraic approach to non-classical logics
• On a Formalization of the Non-Definedness Notion
• Algebraic Analysis of Many Valued Logics
• Fragments of Many-Valued Statement Calculi
• A New Proof of the Completeness of the Lukasiewicz Axioms
• AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n‐VALUED LUKASIEWICZ LOGICS
• ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI
• Systematization of finite many-valued logics through the method of tableaux
• Super-Łukasiewicz propositional logics
• On the completeness theorem for many-valued lattices
• The Notion of Logical Consequence in the Logic of Inexact Predicates
• Super-Łukasiewicz implicational logics
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• Many-valued logics and their algebras
• On distributive quad-lattices
• Sequents in many valued logic I
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
• Sequents in many valued logic II
• Poet algebras and pseudo-Post algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item