Continuing Variations on a System of Gentzen

DOI10.1002/MALQ.19850313109MaRDI QIDQ3718687zbMATH OpenOpenAlexFDO

Authors Zvonimir Šikić

Publication date 1985

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

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

zbMATH Keywords

Gentzen systemintuitionistic logicintuitionistic restrictionsintuitionistically permissibleIPCmultiple rules

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 1302506
• Variations of the q-Garnier system
• Variations on a Visserian theme
• Four relevant Gentzen systems
• A generalization of André's systems
• An extended Hénon-Heiles system
• Variation on a theme of Schütte
• Further variations on a theme of Montgomery and Zippin
• scientific article; zbMATH DE number 440121
• Variations on a theme of Graham and Pollak

Cited in

(5)

• On the independence of premiss axiom and rule
• Intuitionistic sequent system with multiple succedent
• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
• MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS
• scientific article; zbMATH DE number 2209921 (Why is no real title available?)

This page was built for publication: Continuing Variations on a System of Gentzen

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