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: | Vizcaíno, Pedro Francisco Valencia |
---|---|
Published: |
University of Leeds
2013
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713880 |
Similar Items
-
Some properties of inaccessible numbers in the theory of sets-philosophic considerations
by: Faillace, Philip J.
Published: (1972) -
Modelling and verification of ambient systems using Petri nets
by: Konios, Alexandros
Published: (2015) -
Cloud detection over land for the A-long track scanning radiomater using a fuzzy-set methodology
by: Smith, R. J.
Published: (2001) -
Investigations into new algorithms for self-organising fuzzy logic control using type-1 and type-2 fuzzy sets
by: Ehtiawesh, Mohamed
Published: (2016) -
Some topics in set theory
by: Lake, John
Published: (1973)