more from David Bostock

Single Idea 13759

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

Full Idea

A sequent calculus keeps an explicit record of just what sequent is established at each point in a proof. Every line is itself the sequent proved at that point. It is not a linear sequence or array of formulae, but a matching array of whole sequents.

Clarification

A 'sequent' says something follows from something else

Gist of Idea

Each line of a sequent calculus is a conclusion of previous lines, each one explicitly recorded

Source

David Bostock (Intermediate Logic [1997], 7.1)

Book Reference

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