Gentzen’s Cut Elimination Theorem for Non-Logicians
Knowledge and Value, Tulane Studies in Philosophy Volume 21, 1972, pp 115-126
Here.
Thank you!
I can’t get it either, sorry.
http://philpapers.org/rec/MILGCE
The PDC appears to be offline, and although wayback machine has the Tulane page here, it doesn’t seem like it has the pdf linked to by philpapers. Hopefully someone else can work with this.
Gentzen’s Cut Elimination Theorem for Non-Logicians
Knowledge and Value, Tulane Studies in Philosophy Volume 21, 1972, pp 115-126
Here.
Thank you!
I can’t get it either, sorry.
http://philpapers.org/rec/MILGCE
The PDC appears to be offline, and although wayback machine has the Tulane page here, it doesn’t seem like it has the pdf linked to by philpapers. Hopefully someone else can work with this.