Inverse negation and classical implicative logic

MaRDI QIDQ2770971zbMATH OpenFDO

Authors Vladimir M. Popov

Publication date 27 March 2003

Published in Logique et Analyse. Nouvelle Série (Search for Journal in Brave)

zbMATH Keywords

decidabilityimplicative-negative logicinverse negationparaconsistency

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• scientific article; zbMATH DE number 859800
• Constructive negation, implication, and co-implication
• scientific article; zbMATH DE number 6880269
• The inverse method application for non-classical logics
• scientific article; zbMATH DE number 1858065

Cited in

(6)

• The inverse method application for non-classical logics
• Constructive negation, implication, and co-implication
• Classical negation can be expressed by one of its halves
• scientific article; zbMATH DE number 6863646 (Why is no real title available?)
• scientific article; zbMATH DE number 2109242 (Why is no real title available?)
• scientific article; zbMATH DE number 859800 (Why is no real title available?)

This page was built for publication: Inverse negation and classical implicative logic

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