Some uses of cut elimination
This thesis is mainly about Proof Theory. It can be thought of as Proof Theory in the sense of Hilbert, Gentzen, Schutte, Buchholz, Rathjen, and in general what could be called the German school, but it is also influenced by many other branches, of which the bibliography might give an idea. Intuitio...
| Main Author: | |
|---|---|
| Published: |
University of Leeds
2013
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713880 |