MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS

DOI10.1002/malq.19840301908zbMath0584.03016OpenAlexW2100443512MaRDI QIDQ3708780

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

sequent systemIntuitionistic Logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

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