What is 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.

Some articles on sequent:

Ke Y - Deduction Component
... At the heart of the KeY system lies a first-order theorem prover based on a sequent calculus ... A sequent is of the form where (assumptions) and (propositions) are sets of formulas with the intuitive meaning that holds true ... By means of deduction, an initial sequent representing the proof obligation is shown to be constructible from just fundamental first-order axioms (such as equality ) ...
Sequent - History
... Historically, sequents have been introduced by Gerhard Gentzen in order to specify his famous sequent calculus ... The term "sequent" then has been created in search for an alternative translation of the German expression ... This article incorporates material from Sequent on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License ...
Sequent (MUD)
... Sequent was a DikuMUD based MUD running on a Sequent multiprocessor machine at sequent.berkeley.edu ... Raja Kushalnagar ("Duke of Sequent") created Sequent from the original DikuMud codebase starting in January 1991 at the University of California, Berkeley ... Notable MUDs running on the Sequent codebase include Sojourn and its successor, TorilMUD ...
Sequent Computer Systems
... Sequent Computer Systems, or Sequent, was a computer company that designed and manufactured multiprocessing computer systems ... Through a partnership with Oracle Corporation, Sequent became a dominant high-end UNIX platform in the late 1980s and early 1990s ... and Intel shifted their server focus to the Itanium processor family, Sequent joined the Project Monterey effort in October 1998 ...
Common Structural Rules
... Weakening, where the hypotheses or conclusion of a sequent may be extended with additional members ... two equal (or unifiable) members on the same side of a sequent may be replaced by a single member (or common instance) ... Exchange, where two members on the same side of a sequent may be swapped ...

More definitions of "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)