scientific article; zbMATH DE number 7576856

MaRDI QIDQ5100007FDOQ5100007

Authors Hitoshi Omori, Heinrich Wansing 

Publication date 26 August 2022

zbMATH Keywords

negationDunn semanticscontrapositionvariable sharing propertybi-lateral natural deductioncontra-classicalityuni-lateral natural deduction

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Paraconsistent logics (03B53) History of mathematical logic and foundations (03-03)

Recommendations

• Classical negation and expansions of Belnap-Dunn logic
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• Contradictoriness, paraconsistent negation and non-intended models of classical logic
• Paraconsistent double negations as classical and intuitionistic negations
• scientific article; zbMATH DE number 1749146
• Constructive negations and paraconsistency
• A Variety of DeMorgan Negations in Relevant Logics
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Negations in the adjunctive discursive logic
• scientific article; zbMATH DE number 6863646

Cited in

(7)

• A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic
• Logical multilateralism
• scientific article; zbMATH DE number 2213624 (Why is no real title available?)
• Connexive logic, connexivity, and connexivism: remarks on terminology
• Connexive negation
• Connexivity meets Church and Ackermann
• Double negation as minimal negation

This page was built for publication:

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