The normal and self-extensional extension of Dunn-Belnap logic
DOI10.1007/S11787-020-00254-1zbMATH Open1472.03019OpenAlexW3030985043MaRDI QIDQ2198314FDOQ2198314
Authors: 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
Recommendations
- The normalization theorem for extended natural deduction
- scientific article; zbMATH DE number 3887648
- An expansion of first-order Belnap-Dunn logic
- On extensions of Nelson's logic satisfying Dummett's axiom
- Selfextensional logics with a distributive nearlattice term
- Definability theorems in normal extensions of the provability logic
- scientific article
- scientific article; zbMATH DE number 2196609
- Deduction normalization theorem for Sette's logic and its modifications
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- The logic of paradox
- Theory of logical calculi. Basic theory of consequence operations
- On the theory of inconsistent formal systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Intuitive semantics for first-degree entailments and `coupled trees'
- Reasoning with logical bilattices
- Bilattices and the semantics of logic programming
- Handbook of philosophical logic. Vol. 9
- Title not available (Why is that?)
- A calculus of antinomics
- Deducibility and many-valuedness
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
- Quasi-canonical systems and their semantics
- Self-extensional three-valued paraconsistent logics
- Four-valued paradefinite logics
- Title not available (Why is that?)
- Three-Valued Paraconsistent Propositional Logics
- Self-extensional three-valued paraconsistent logics have no implication
- Idempotent full paraconsistent negations are not algebraizable
Cited In (5)
- Selfextensional logics with a conjunction
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
- An expansion of first-order Belnap-Dunn logic
- 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
This page was built for publication: The normal and self-extensional extension of Dunn-Belnap logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2198314)
