Maximal paraconsistent extension of Johansson logic

MaRDI QIDQ2770968zbMATH OpenFDO

Authors S. P. Odintsov

Publication date 7 October 2002

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

zbMATH Keywords

algebraic semanticsclassical logicclassical tautologyconstructivityintermediate logicsmaximal extensions of minimal logicmaximal negative logicmaximal negative tautologyparaconsistencyparaconsistent logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• On the structure of paraconsistent extensions of Johansson's logic
• scientific article; zbMATH DE number 1191233
• The lattice of extensions of the minimal logic
• scientific article; zbMATH DE number 1975401
• Constructive negations and paraconsistency

Cited in

(8)

• Negative equivalence of extensions of minimal logic
• On the structure of paraconsistent extensions of Johansson's logic
• Remarks on constructive extensions of minimal logic
• scientific article; zbMATH DE number 1191233 (Why is no real title available?)
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• Logic of classical refutability and class of extensions of minimal logic
• scientific article; zbMATH DE number 2213620 (Why is no real title available?)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation

This page was built for publication: Maximal paraconsistent extension of Johansson logic

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