MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS

DOI10.1002/MALQ.19840301908MaRDI QIDQ3708780zbMATH OpenOpenAlexFDO

Authors Zvonimir Šikić

Publication date 1984

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

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

zbMATH Keywords

Intuitionistic Logicsequent system

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 4004159
• On the Logical System L₁
• Gentzen-type formulation of the propositional logic LQ
• A note on sequent calculi intermediate between LJ and LK
• Continuing Variations on a System of Gentzen

Cited in

(7)

• A note on sequent calculi intermediate between LJ and LK
• The Gentzen-Kripke construction of the intermediate logic LQ
• Intuitionistic sequent system with multiple succedent
• scientific article; zbMATH DE number 4004159 (Why is no real title available?)
• On the Logical System L₁
• scientific article; zbMATH DE number 1157127 (Why is no real title available?)
• scientific article; zbMATH DE number 6163273 (Why is no real title available?)

This page was built for publication: MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS

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