Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions
Sørensen, Morten Heine, Urzyczyn, PaweŁVolume:
73
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1230396755
Date:
September, 2008
File:
PDF, 725 KB
english, 2008