Self-extensional three-valued paraconsistent logics

DOI10.1007/s11787-017-0173-4zbMath1420.03042OpenAlexW2738647319MaRDI QIDQ1682293

Arnon Avron

Publication date: 29 November 2017

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-017-0173-4

zbMATH Keywords

propositional logicthree-valued logicparaconsistent logicself-extensional logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items

De Morgan clones and four-valued logics, Compositional meaning in logic, LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT, The normal and self-extensional extension of Dunn-Belnap logic, Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation, An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi, Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A non-deterministic view on non-classical negations
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Theory of logical calculi. Basic theory of consequence operations
• The logic of paradox
• Paraconsistency and the C-systems of da Costa
• A calculus of antinomics
• On the theory of inconsistent formal systems
• Brief study of G'₃ logic
• Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
• Self-extensional three-valued paraconsistent logics have no implication
• Logics of Formal Inconsistency
• A paraconsistent 3-valued logic related to Godel logic G3
• Idempotent full paraconsistent negations are not algebraizable