scientific article; zbMATH DE number 7576856

MaRDI QIDQ5100007FDOQ5100007

Authors: Hitoshi Omori, Heinrich Wansing 

Publication date: 26 August 2022

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Connexivity meets Church and Ackermann
• A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic
• Double negation as minimal negation
• Logical multilateralism
• Title not available (Why is that?)
• Connexive logic, connexivity, and connexivism: remarks on terminology
• Connexive 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)