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
Dependent type theory of stateful higher-order functions
TL;DR: A dependent Hoare Type Theory is presented which provides support for reasoning about programs with higherorder functions and effects, including non-termination, state with aliasing and pointer arithmetic, in the style of Hoare logic.
Journal ArticleDOI
Bridging the gap between analytic and synthetic geometry: Hilbert’s axiomatic approach
TL;DR: It is argued that Hilbert not only sought to show that geometry could be considered a pure mathematical theory, once it was presented as a formal axiomatic system; he also aimed at showing that in the construction of such an axIomatic system one could proceed purely geometrically, avoiding concept formations borrowed from other mathematical disciplines.
Journal ArticleDOI
Pure Proof Theory Aims, Methods and Results
TL;DR: An overview of the present state of the art in pure proof theory can be found in this article, where the authors give an overview of their aims, methods, and results in Pure Proof Theory.
Journal ArticleDOI
Completeness of global intuitionistic set theory
TL;DR: This paper discusses the logical system LJ in the classical set theory ZFC, in which φ ⇒ Ψ is a sentence, and postulates that the metatheory is based on classical logic.
Journal ArticleDOI
Proof-functional connectives and realizability
Franco Barbanera,Simone Martini +1 more
TL;DR: For each of these connectives, strong equivalence, strong conjunction and relevant implication are studied, a type assignment system, a realizability semantics, and a completeness theorem are given.