more from this thinker     |     more from this text

Single Idea 13760

[filed under theme 5. Theory of Logic / H. Proof Systems / 6. Sequent Calculi ]

Full Idea

A sequent calculus is a useful tool for comparing two systems that at first look utterly different (such as natural deduction and semantic tableaux).

Gist of Idea

A sequent calculus is good for comparing proof systems

Source

David Bostock (Intermediate Logic [1997], 7.2)

Book Ref

Bostock,David: 'Intermediate Logic' [OUP 1997], p.281

The 5 ideas with the same theme [proof were every step is a proof and not just a formula]:

13759 Each line of a sequent calculus is a conclusion of previous lines, each one explicitly recorded [Bostock]
13760 A sequent calculus is good for comparing proof systems [Bostock]
15426 We can build one expanding sequence, instead of a chain of deductions [Burgess]
15425 The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess]
13686 We can build proofs just from conclusions, rather than from plain formulae [Sider]