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
Full operational set theory with unbounded existential quantification and power set
TL;DR: The extension OST ( E, P ) of Feferman’s operational set theory OST provided by adding operational versions of unbounded existential quantification and power set is studied to determine its proof-theoretic strength in terms of a suitable theory of sets and classes.
Journal ArticleDOI
About some symmetries of negation
Brigitte Hösli,Gerhard Jäger +1 more
TL;DR: This paper deals with some structural properties of the sequent calculus and describes strong symmetries between cut-free derivations and derivations, which do not make use of identity axioms.
Book ChapterDOI
On Two Models of Provability
TL;DR: Two distinct mathematical models based on Godel’s original modal logic of provability S4, together with its explicit counterpart, the Logic of Proofs LP, which was shown in 1995 by Artemov to provide an exact provability semantics for S4.
Journal ArticleDOI
Abstract computability and algebraic specification
John V. Tucker,Jeffery I. Zucker +1 more
TL;DR: It is shown that there exist universal algebraicspecifications for all the classically computable functions on the set of real numbers andigate the initial algebra semantics of these specifications, and derive situations where algebraic specifications preciselydefine the computable function.