Sequent calculus Uncommon

Definition, synonyms and related words

Definitions

Noun

A set of inference rules for deriving true sequents from other true sequents.

See Also

sequent inference rule

Related Terms

sequent inference rule

Rhyming Words

plus ulus hilus zelus pilus talus polus dolus zulus solus milus malus tolus palus bolus obelus bellus cyclus pullus mullus

Compare