On the Logical System L1

DOI10.1002/MALQ.19860321908MaRDI QIDQ3762282zbMATH OpenOpenAlexFDO

Authors Zvonimir Šikić

Publication date 1986

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19860321908

zbMATH Keywords

added sequentsintuitionistic logicRussian constructivism

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS
• Classical logic, intuitionistic logic, and the Peirce rule
• Gentzen-type formulation of the propositional logic LQ
• Intuitionistic predicate logic with decidable propositional atoms
• Dual-intuitionistic logic

Cited in

(7)

• On the system CL12 of computability logic
• scientific article; zbMATH DE number 6002009 (Why is no real title available?)
• scientific article; zbMATH DE number 4174902 (Why is no real title available?)
• An Investigation on the Logical Structure of Mathematics (VI): Consistent V-System T(V) (With Corrections to Part (XII))
• MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS
• scientific article; zbMATH DE number 822106 (Why is no real title available?)
• scientific article; zbMATH DE number 3236052 (Why is no real title available?)

This page was built for publication: On the Logical System L₁

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