scispace - formally typeset
Open AccessBook

Proof Theory

Gaisi Takeuti
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
Book ChapterDOI

Mathematical Reasoning, Proof Principles, and Logic

Jean Gallier
Book ChapterDOI

On the Undecidability of some Sub-Classical First-Order Logics

Matthias Baaz, +3 more
TL;DR: A general criterion for the undecidabily of sub-classical first-order logics and important fragments thereof is established and hypersequent systems for (first-order) C and C* are introduced and shown to enjoy cut-elimination.
Book ChapterDOI

Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms

Franco Parlamento, +1 more
TL;DR: A natural formulation of the sequent calculus with equality and the cut elimination theorem is provided and its application to the logic of partial terms is commented on.
Journal ArticleDOI

Groundedness property and accessibility of ordinal diagrams

Mariko Yasugi
- 01 Jan 1985 - 
Journal ArticleDOI

Provably recursive functions in fragments of Peano arithmetic

Hiroakira Ono, +1 more
- 01 Oct 1986 -