Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic (1998)

by Roy Dyckhoff , Luis Pinto
Citations:40 - 6 self

Document Versions

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic –Roy Dyckhoff , Luis Pinto — 1998
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. –Roy Dyckhoff, Luís Pinto — 1998 — Studia Logica
A Permutation-Free Sequent Calculus for Intuitionistic Logic. –Roy Dyckhoff, Luis Pinto — 1996