scientific article; zbMATH DE number 1191233

MaRDI QIDQ3842547zbMATH OpenFDO

Authors S. P. Odintsov

Publication date 10 December 1998

zbMATH Keywords

classical logicconstructive logicintersection of logicsmaximal negative logicmaximality property

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Maximal paraconsistent extension of Johansson logic
• scientific article; zbMATH DE number 16511
• Counting the maximal intermediate constructive logics

Cited in

(5)

• A constructivism based on classical truth
• Maximal paraconsistent extension of Johansson logic
• Explicit constructive logic ECL: a new representation of construction and selection of logical information by an epistemic agent
• Quasi-truth-functional systems of propositional logic
• A propositional system induced by Japaridze's approach to IF logic

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 Q3842547)