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
Structural proof theory for first-order weak Kleene logics
TL;DR: A sound and complete five-sided sequent calculus for first-order weak Kleene valuations is presented which permits not only elegant representations of four logics definable on first- order weak Kleenes, but also admissibility of five cut rules by proof analysis.
Journal ArticleDOI
A semantic proof of strong cut-admissibility for first-order Gödel logic
Ori Lahav,Arnon Avron +1 more
TL;DR: A constructive direct semantic proof of the completeness of the cut-free part of the hypersequent calculus HIF for the standard first-order Godel logic is provided, proving both completion of the calculus for its standard semantics, and the admissibility of thecut rule in the full calculus.
Book ChapterDOI
Learning correction grammars
TL;DR: Surprisingly, it is shown that -- above "ω-many" corrections -- it is not possible to strengthen the hierarchy: TxtEx-learning u-correction grammars of classes of r.e. languages.
Journal ArticleDOI
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω
Matthias Baaz,Norbert Preining +1 more
TL;DR: The minimal extension of intuitionistic propositional language is characterized, where propositional quantifiers are eliminable w.r.t. Kripke frames of type ω.
Journal ArticleDOI
Slow versus fast growing
TL;DR: This work surveys a selection of results about majorization hierarchies, focusing on classical and recent results about the comparison between the slow and fast growing hierarchies.