Continuing Variations on a System of Gentzen

DOI10.1002/malq.19850313109zbMath0591.03013OpenAlexW2121940920MaRDI QIDQ3718687

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

intuitionistic logicGentzen systemIPCmultiple rulesintuitionistic restrictionsintuitionistically permissible

Mathematics Subject Classification ID

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

Related Items (1)

European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988

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