Sekirov Dictionary

sequent

/ˈsiːkwənt/

noun 4
adjective 3
forms 3

noun4

•
Something that follows in a given sequence.
- The One is somewhat shadowy. It is sometimes called God, sometimes the Good; it transcends Being, which is the first sequent upon the One. — 1946
•
A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read "give(s)".)
- A sequent a,b⊢c,d could be interpreted to correspond to an Existential Graph, whose expression in Existential Graph Interchange Format would be ~[(a) (b) ~[(c)] ~[(d)]], which in ordinary language could be expressed as "a and b give c or d".
A sequential calculus
(no longer used) A follower.

adjective3

•
Recurring in succession or as a series; successive, consecutive.
- The Gallies Haue sent a dozen sequent Messengers / This very night, at one anothers heeles: / And many of the Consuls, rais'd and met, / Are at the Dukes already. — 1603
•
(no longer used) That comes after in time or order; subsequent.
- Why are your songs all wild and bitter sad As funeral dirges with the orphans' cries? Each night since first the world was made hath had A sequent day to laugh it down the skies. — 1860
•
(no longer used) That follows on as a result, conclusion etc.; consequent to, on, upon.
- But let my Triall, be mine owne Confession: / Immediate sentence then, and sequent death, / Is all the grace I beg. — 1603

forms

sequents · more sequent · most sequent

This dictionary works without the internet: on your phone · in Chrome