Sequent

Sequent

In proof theory, a sequent is a formalized statement of provability that is frequently used when specifying calculi for deduction. In the sequent calculus, the name sequent is used for the construct which can be regarded as a specific kind of judgment, characteristic to this deduction system.

Read more about Sequent.

Famous quotes containing the word sequent:

    “Nor sequent centuries could hit
    Orbit and sum of SHAKSPEARE’s wit.
    The men who lived with him became
    Poets, for the air was fame.”
    —Ralph Waldo Emerson (1803–1882)