On finite-valued propositional logical calculi
From MaRDI portal
Publication:1913635
DOI10.1305/ndjfl/1040136920zbMath0852.03009OpenAlexW2054161341WikidataQ63762582 ScholiaQ63762582MaRDI QIDQ1913635
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
completenessmany-valued logicHilbert-type propositional calculitruth-complete \({\mathbf C}\)-extending logics
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
