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
Patterns of resemblance of order 2
TL;DR: In this paper, the authors investigate patterns of resemblance of order 2 over a family of arithmetic structures on the ordinals and show that they determine a computable well ordering under appropriate assumptions.
Journal ArticleDOI
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
TL;DR: This paper investigates quasi-canonical systems in which exactly one of the two classical rules for negation is included, turning the induced logic into either a paraconsistent logic or a paracomplete logic, but not both.
Book ChapterDOI
Gödel logics: a survey
TL;DR: The logics the authors present in this tutorial, Godel logics, can be characterized in a rough-and-ready way as follows: the language is standard, defined at different levels: propositional, quantified-propositional, first-order.
Journal ArticleDOI
Proof-Theoretic Analysis of the Quantified Argument Calculus
Edi Pavlovic,Norbert Gratzl +1 more
TL;DR: This article investigates the proof theory of the Quantified Argument Calculus as developed and systematically studied by Hanoch Ben-Yami and chooses a sequent calculus presentation, which allows for the proofs of a multitude of significant meta-theoretic results with minor modifications to the Gentzen’s original framework.
Book ChapterDOI
Kripke semantics for basic sequent systems
Arnon Avron,Ori Lahav +1 more
TL;DR: A general method is presented for providing Kripke semantics for the family of fully-structural multiple-conclusion propositional sequent systems, which serves as a uniform basis for semantic proofs of analyticity and cut-admissibility in such systems.