Self-extensional three-valued paraconsistent logics
From MaRDI portal
Publication:1682293
DOI10.1007/s11787-017-0173-4zbMath1420.03042OpenAlexW2738647319MaRDI QIDQ1682293
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
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'3 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