Dragalin's Proofs of Cut-Admissibility for the Intuitionistic Sequent Calculi G3i and G3i'

Roy Dyckhoff

School of Computer Science

Research output: Other contribution

Original language	English
Publication status	Published - 1997

Other files and links

http://www.dcs.st-and.ac.uk/research/publications/Dyc97.php

Cite this