sequent (ˈsiːkwənt
)
Definitions
adjective
- following in order or succession
- following as a result; consequent
noun
- something that follows; consequence
- logic a formal representation of an argument. The inference of a formal representation of an argument. The inference of A from a formal representation of an argument. The inference of from A & B is written a formal representation of an argument. The inference of from is written A & B ̃⊢ a formal representation of an argument. The inference of from is written ̃⊢ A. The sequent ̃⊢ a formal representation of an argument. The inference of from is written ̃⊢ The sequent ̃⊢ A represents the derivation of a formal representation of an argument. The inference of from is written ̃⊢ The sequent ̃⊢ represents the derivation of A from no assumptions and thus indicates that a formal representation of an argument. The inference of from is written ̃⊢ The sequent ̃⊢ represents the derivation of from no assumptions and thus indicates that A is a theorem
Alternative Forms
ˈsequently adverb Word Origin
C16: from Latin sequēns, from sequī to follow
