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.
Retrieved from "https://en.wiktionary.org/w/index.php?title=sequent_calculus&oldid=37812441"