1 following in order or succession
2 following as a result; consequent
3 something that follows; consequence
4 (Logic) a formal representation of an argument. The inference of A from A & B is written A & B <turns1> A. The sequent <turns1> A represents the derivation of A from no assumptions and thus indicates that A is a theorem
(C16: from Latin sequens, from sequi to follow)
Dictionnaire anglais Collins English definition-Thesaurus
Ajouter votre entrée dans le Dictionnaire Collaboratif .