Sequent (noun) Definition, Meaning & Examples

adjective
  1. following; successive.
  2. following logically or naturally; consequent.
  3. characterized by continuous succession; consecutive.
noun
  1. something that follows in order or as a result.
adjective
  1. following in order or succession
  2. following as a result; consequent
noun
  1. something that follows; consequence
  2. a formal representation of an argument. The inference of A from A & B is written A & B ̃⊢ A. The sequent ̃⊢ A represents the derivation of A from no assumptions and thus indicates that A is a theorem
Sequent (noun) Definition, Meaning & Examples

More Definitions