CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION

DOI10.1017/jsl.2018.38zbMath1477.03022OpenAlexW2905599663MaRDI QIDQ4647120

Roy Dyckhoff

Publication date: 4 January 2019

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10023/16793

zbMATH Keywords

sequent calculusintuitionistic propositional logictermination

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Practical Proof Search for Coq by Type Inhabitation

Cites Work

• Unnamed Item
• On an interpretation of second order quantification in first order intuitionistic propositional logic

This page was built for publication: CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION