sequent calculus

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Noun

[edit]

sequent calculus (plural sequent calculi)

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