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: Explanation, Intuitive Meaning, Example, Property, Rules, Variations, History

### Other articles related to "sequent, sequents":

Ke Y - Deduction Component

... At the heart of the KeY system lies a first-order theorem prover based on a

... 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**(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 ... server focus to the Itanium processor family,

**Sequent**joined the Project Monterey effort in October 1998 ...

**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 ...

Common Structural Rules

... where the hypotheses or conclusion of a

... where the hypotheses or conclusion of a

**sequent**may be extended with additional members ... where 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 ...### 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)

Main Site Subjects

Related Subjects

Related Phrases

Related Words