Classical negation and expansions of Belnap-Dunn logic

DOI10.1007/s11225-014-9595-7zbMath1373.03029OpenAlexW2060658047MaRDI QIDQ495842

Michael De, Hitoshi Omori

Publication date: 15 September 2015

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

Full work available at URL: https://doi.org/10.1007/s11225-014-9595-7

zbMATH Keywords

maximalityparaconsistencymany-valued logicparacompletenessBelnap-Dunn logicclassical negationfirst-degree entailment

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (27)

De Morgan clones and four-valued logics ⋮ Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ Reductio ad contradictionem: an algebraic perspective ⋮ О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE ⋮ О выразительных возможностях отдельных расширений четырехзначной логики Белнапа ⋮ ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework ⋮ 40 years of FDE: an introductory overview ⋮ Four-valued paradefinite logics ⋮ Paraconsistent double negations as classical and intuitionistic negations ⋮ IMPROVING STRONG NEGATION ⋮ A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ Connexive negation ⋮ Four-Valued Logics BD and DM4: Expansions ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Bilattice Logics and Demi-Negation ⋮ Variations on the Collapsing Lemma ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ There is more to negation than modality ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ Connexive logics. An overview and current trends ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi ⋮ Disjoint Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Ideal paraconsistent logics
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• The class of extensions of Nelson's paraconsistent logic
• Constructive negations and paraconsistency
• Classical relevant logics. I
• Classical relevant logics. II
• Paraconsistent logics?
• On the theory of inconsistent formal systems
• A propositional calculus for inconsistent deductive systems
• Formal inconsistency and evolutionary databases
• Natural 3-valued logics—characterization and proof theory
• Classical negation can be expressed by one of its halves
• An expansion of first-order Belnap-Dunn logic
• A characterization of axiom schema playing the rôle of tertium non datur in intuitionistic logic
• Extensions of the Lewis system S5

This page was built for publication: Classical negation and expansions of Belnap-Dunn logic