Open AccessBook
Proof Theory
About:
The article was published on 1975-01-01 and is currently open access. It has received 770 citations till now. The article focuses on the topics: Proof theory & Gentzen's consistency proof.read more
Citations
More filters
Journal ArticleDOI
A note on full intuitionistic linear logic
TL;DR: This note proposes an alternative formulation of Full Intuitionistic Linear Logic based on the notion of patterns, which is not closed under the process of cut elimination.
Journal ArticleDOI
Theories with self-application and computational complexity
TL;DR: It is shown that Cook and Urquhart's system PVω is directly contained in a natural applicative theory of polynomial strength, and these theories can be regarded as applicative analogues of traditional systems of bounded arithmetic.
Book ChapterDOI
On Applicative Theories
TL;DR: Systems of explicit mathematics were introduced in Feferman in order to give a logical account to Bishop-style constructive mathematics, and they soon turned out to be very important for the proof-theoretic analysis of subsystems of second order arithmetic and set theory.
Book ChapterDOI
On a Form of Equational Interpolation Property
TL;DR: In this paper, the authors characterize varieties with the amalgamation property and the congruence extension property by means of a condition of proof-theoretic nature resembling a version of Craig's interpolation property due to Maehara (1961).
Book ChapterDOI
Well-Partial Orderings and their Maximal Order Types
TL;DR: In this paper, the maximal order types of the W.p.o.s are shown to be well-partitioned, i.e., they are well-founded partial orderings which can be extended to a well-ordering of maximal order type.