Which Structural Rules Admit Cut Elimination? An Algebraic Criterion
Kazushige TeruiVolume:
72
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/27588568
Date:
September, 2007
File:
PDF, 1.20 MB
english, 2007