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
A cut-free gentzen-type system for the logic of the weak law of excluded middle
TL;DR: The formulation presented in this paper makes clearer the relations betweenKCp,Hp, and the classical logic and an interpretation of classical propositional logic in the propositional part ofKCp is given.
Book ChapterDOI
Integrating Induction and Coinduction via Closure Operators and Proof Cycles
Liron Cohen,Reuben N. S. Rowe +1 more
TL;DR: This paper develops a sound and complete non-well-founded proof system for the extended logic, whose cyclic subsystem provides the basis for an effective system for automated inductive and coinductive reasoning.
Journal ArticleDOI
Consistency proof without transfinite induction for a formal system for turing machines
Posted Content
On Elementary Theories of Ordinal Notation Systems based on Reflection Principles
TL;DR: In this paper, the authors considered the constructive ordinal notation system for the ordinal ϵ-epsilon_0, and showed that the full notation system and it's fragments have undecidable elementary theories.
Journal ArticleDOI
Falsification-Aware Semantics and Sequent Calculi for Classical Logic
TL;DR: The completeness and cut-elimination theorems for the proposed semantics and sequent calculi are proved using Schütte’s method and results for the propositional case are obtained.