DictionaryAI

sequent calculus

Short definition from Wiktionary

Noun

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

We haven’t written up sequent calculus yet: Simple and Standard meanings, examples and a quiz.