sequent calculus

Noun

Meaning

sequent calculus (plural sequent calculi)

(mathematics, logic) A set of inference rules for deriving true sequents from other true sequents.

Source: en.wiktionary.org

sequencing sequency sequent sequential sequential analysis sequential art