sequent Hear it!

sequent Definition

se·quent (-kwənt)

adjective

  1. following in time or order; subsequent
  2. following as a result or effect; consequent

Etymology: L sequens, prp. of sequi, to follow < IE base *sekw-, to follow > OE secg, warrior

noun

something that follows, esp. as a result; consequence

sequent Usage Examples

Adjective modifier

  • syntactic: Syntactic sequents are defined ( in our case ) in terms of tableaux.
  • semantic: We can also speak of a counterexample to a semantic sequent.
  • correct: For, thanks to that rule, " xFx | - Fa is a correct sequent.

Modifies a noun

  • calculus: Recently, I started working on X, a calculus based on the sequent calculus for Classical Logic.

Noun used with modifier

  • sub-: Relocation entries must be saved if the output file is to become an input file in a sub- sequent ld run.