On the Logical System L1

DOI10.1002/MALQ.19860321908zbMATH Open0624.03006OpenAlexW1996787022MaRDI QIDQ3762282FDOQ3762282

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

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

zbMATH Keywords

intuitionistic logicRussian constructivismadded sequents

Mathematics Subject Classification ID

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

Cited In (7)

• An Investigation on the Logical Structure of Mathematics (VI): Consistent V-System T(V) (With Corrections to Part (XII))
• Title not available (Why is that?)
• On the system CL12 of computability logic
• MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)