The normal and self-extensional extension of Dunn-Belnap logic

DOI10.1007/S11787-020-00254-1zbMath1472.03019OpenAlexW3030985043MaRDI QIDQ2198314

Arnon Avron

Publication date: 10 September 2020

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

Full work available at URL: https://doi.org/10.1007/s11787-020-00254-1

zbMATH Keywords

paraconsistent logicsself-extensionalityfour-valued logics

Mathematics Subject Classification ID

Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items (2)

A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Self-extensional three-valued paraconsistent logics
• Four-valued paradefinite logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Handbook of philosophical logic. Vol. 9
• Reasoning with logical bilattices
• A calculus of antinomics
• On the theory of inconsistent formal systems
• Bilattices and the semantics of logic programming
• Self-extensional three-valued paraconsistent logics have no implication
• Three-Valued Paraconsistent Propositional Logics
• Deducibility and many-valuedness
• Idempotent full paraconsistent negations are not algebraizable
• Quasi-canonical systems and their semantics

This page was built for publication: The normal and self-extensional extension of Dunn-Belnap logic