Sequent (disambiguation)

Sequent (disambiguation)

A sequent is a formalized statement of provability that is frequently used when specifying calculi for deduction in proof theory.

Sequent may also refer to:

* Sequent (MUD), a MU* server
* Sequent Computer Systems, a defunct computer hardware company


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Calculus (disambiguation) — Calculus is Latin for pebble, and has a number of meanings in English: In mathematics and computer science Calculus , in its most general sense, is any method or system of calculation. To modern theoreticians the answer to the question what is a… …   Wikipedia

  • Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Chronology of MUDs — This is a chronological list of notable MUDs with summary information. Legend Title The MUD s title; if it has had more than one title, the most recent title. Disambiguation is included only when MUDs in this chronology have the same title.… …   Wikipedia

  • Claim — may refer to: Claim (legal) Claim (patent) Land claim Proposition, a statement which is either true or false A right Sequent, in mathematics A main contention, see conclusion of law This disambiguation page lists articles associ …   Wikipedia

  • MUD — This article is about a type of online computer game. For other uses, see Mud (disambiguation) …   Wikipedia

  • List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… …   Wikipedia

  • Dynamix — For other uses, see Dynamix (disambiguation). Dynamix, Inc. Type Defunct Industry Interactive entertainment Founded 1984 …   Wikipedia

  • Mythic Entertainment — Mythic redirects here. For other uses, see Mythology and Myth (disambiguation). BioWare Mythic Type Subsidiary of Electronic Arts, Division of BioWare Industry Computer and video games Interactive entertainment Founded 1995 …   Wikipedia

  • Tank (gaming) — For other uses, see Tank (disambiguation). A tank (also known as a meat shield) is a style of character in gaming, often associated with a character class. A common convention in real time strategy games, role playing games, MMORPGs and MUDs,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”