Strong Cut-Elimination in Sequent Calculus Using Klop's l-Translation and Perpetual Reductions
Morten Heine Sørensen and Paweł UrzyczynVolume:
73
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/27590305
Date:
September, 2008
File:
PDF, 1.01 MB
english, 2008