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
Proceedings ArticleDOI
A Gentzen system for the description logic
Yu Sun,Yuefei Sui +1 more
TL;DR: It is proved that the Gentzen system for description logic is sound and complete; but it is not decidable.
Journal ArticleDOI
Syntactical Truth Predicates for Second Order Arithmetic
Loïc Colson,Serge Grigorieff +1 more
TL;DR: S.t.p.'s can be seen as a counterpart to Tarski's notion of (model-theoretical) validity and have main model properties and their existence is equivalent to the existence of an ω-model of PA2, this fact being provable in PA2 with arithmetical comprehension only.
Posted Content
A Simplified Characterisation of Provably Computable Functions of the System ID_1 of Inductive Definitions
TL;DR: In this paper, a simplified and streamlined characterisation of provably total computable functions of the system ID1 of non-iterated inductive definitions is presented, using the method of operator-controlled derivations.
Proceedings Article
On Quasitautologies
Ján Komara,Paul J. Voda +1 more
TL;DR: It is got that quasitautologies can be proved by tableaux with a subterm property and the method is extended in a separate paper to a much harder finitary proof of the conservativity of Skolem axioms.
Journal ArticleDOI
Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics
TL;DR: It is argued that the distinction between syntax and semantics is much more important for the present situation in logic than other distinctions.