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

Roy Dyckhoff, L Pinto

Research output: Contribution to journalArticlepeer-review

25 Citations (Scopus)
Original languageEnglish
Pages (from-to)107-118
JournalStudia Logica
Volume60
Issue number1
Publication statusPublished - 1998

Cite this