- following; successive.
- following logically or naturally; consequent.
- characterized by continuous succession; consecutive.
- something that follows in order or as a result.
- following in order or succession
- following as a result; consequent
- something that follows; consequence
- 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