ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION

DOI10.1017/S1755020318000308zbMath1477.03095OpenAlexW2898182706MaRDI QIDQ4557169

Hitoshi Omori, Heinrich Wansing

Publication date: 29 November 2018

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020318000308

zbMATH Keywords

four-valued semanticsdouble negationHilbert-style axiomatizationsnegative concordcontra-classical logicsNelson's paraconsistent logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items (14)

Questions to Michael Dunn ⋮ An analysis of poly-connexivity ⋮ SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION ⋮ An infinity of intuitionistic connexive logics ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ Revisiting Reichenbach's logic ⋮ Double negation as minimal negation ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ A Note on Ciuciura’s mbC1 ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ Bilattice Logics and Demi-Negation ⋮ Connexive logics. An overview and current trends ⋮ Poly-connexivity: connexive conjunction and disjunction ⋮ Connexive Variants of Modal Logics Over FDE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classical negation and expansions of Belnap-Dunn logic
• Generalizing functional completeness in Belnap-Dunn logic
• Ideal paraconsistent logics
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• A non-deterministic view on non-classical negations
• The class of extensions of Nelson's paraconsistent logic
• Connections between some notions of completeness of structural propositional calculi
• Paraconsistent double negations as classical and intuitionistic negations
• On negation: Pure local rules
• Reasoning with logical bilattices
• A criterion of fullness of many-valued systems of propositional logic
• Negation by iteration
• On the expressive power of three-valued and four-valued languages
• On the Methodology of Paraconsistent Logic

This page was built for publication: ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION