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
Analysis of authentication protocols Intership report
TL;DR: The main target of this report is to present and compare some formal approaches to protocol verification (based on proof systems), and to present in detail a semantics for one of them and prove the corresponding soundness.
Journal ArticleDOI
Intuitive Minimal Abduction in Sequent Calculi
TL;DR: Starting from revising the meaning of “good” abduction, a new criterion of abduction called intuitive-minimal abduction (IMA) is introduced, an abductive formula equivalent to the minimal abductionive formula under the theory part of a sequent and literally as simple as possible.
Journal ArticleDOI
Propositional intuitionistic multiple-conclusion calculus via proof graphs
Journal ArticleDOI
On Structural Features of the Implication Fragment of Frege’s Grundgesetze
TL;DR: A sequent calculus is set out which naturally captures Frege’s implication proofs, and draws particular attention to the Cut-like features of his Hypothetical Syllogism rule.
Journal ArticleDOI
Towards a proof theory for quantifier macros
Matthias Baaz,Anela Lolic +1 more
TL;DR: It is demonstrated that no locally sound analytic representation based on the usual eigenvariable condition exists, and representations by globally sound but possibly locally unsound analytic sequent calculi are used.