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)