On finite-valued propositional logical calculi

DOI10.1305/NDJFL/1040136920zbMath0852.03009OpenAlexW2054161341WikidataQ63762582 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

completenessmany-valued logicHilbert-type propositional calculitruth-complete \({\mathbf C}\)-extending logics

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (7)

De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic] ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Non-transitive correspondence analysis ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ Anshakov-Rychkov algebras ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence

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

This page was built for publication: On finite-valued propositional logical calculi