Advertisement

Definition of "sequent" [se•quent]

  • Following in order or time; subsequent. (adjective)
  • Following as a result; consequent. (adjective)
  • A result; a consequence. (noun)

American Heritage(R) Dictionary of the English Language, Fifth Edition. Copyright (c) 2011 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

Use "sequent" in a sentence
  • "He therefore invented another logical calculus that he called sequent calculus (Sequenzenkalkul, literally “calculus of sequences”) and made it the central topic of his thesis."
  • "The ten thralls answered him with one mouth and in sequent words, saying, Whatso thou biddest us,"
  • "If at any stage of this “reduction process” the conclusion of a sequent is a compound formula, you have to consider any conjunct or any instance of universal quantification as a possible conclusion."