Self-extensional three-valued paraconsistent logics

DOI10.1007/S11787-017-0173-4MaRDI QIDQ1682293zbMATH OpenOpenAlexFDO

Authors 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

paraconsistent logicpropositional logicthree-valued logicself-extensional logic

Mathematics Subject Classification ID

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

Recommendations

• The normal and self-extensional extension of Dunn-Belnap logic
• Self-extensional three-valued paraconsistent logics have no implication
• Selfextensional logics with a conjunction
• Two Genuine 3-Valued Paraconsistent Logics
• On paraconsistent extensions of \(C_1\)

Cites work

• scientific article; zbMATH DE number 5997431 (Why is no real title available?)
• scientific article; zbMATH DE number 3993546 (Why is no real title available?)
• scientific article; zbMATH DE number 3453564 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A calculus of antinomics
• A non-deterministic view on non-classical negations
• A paraconsistent 3-valued logic related to Gödel logic G3
• A treatise on many-valued logics
• Brief study of G'₃ logic
• Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
• Idempotent full paraconsistent negations are not algebraizable
• Logics of formal inconsistency
• On the theory of inconsistent formal systems
• Paraconsistency and the C-systems of da Costa
• Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
• Self-extensional three-valued paraconsistent logics have no implication
• The logic of paradox
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(16)

• scientific article; zbMATH DE number 781269 (Why is no real title available?)
• Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
• Two Genuine 3-Valued Paraconsistent Logics
• De Morgan clones and four-valued logics
• Self-dual binary and ternary connectives for \(m\)-valued propositional calculi
• The normal and self-extensional extension of Dunn-Belnap logic
• An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
• Strong Three-Valued Paraconsistent Logics
• Selfextensional logics in abstract algebraic logic: a brief survey
• Selfextensional logics with a conjunction
• Compositional meaning in logic
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Self-extensional three-valued paraconsistent logics have no implication
• Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency
• Extensions of Hałkowska-Zajac's three-valued paraconsistent logic
• Hyperintensionality in relevant logics

This page was built for publication: Self-extensional three-valued paraconsistent logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1682293)