sequent

/ˈsiːkwənt/

adjective

1.

following in order or succession

2.

following as a result; consequent

noun

3.

something that follows; consequence

4.

(logic) a formal representation of an argument. The inference of A from A & B is written A & B ̃⊢ A. The sequent ̃⊢ A represents the derivation of A from no assumptions and thus indicates that A is a theorem