sequent calculus (English, noun)
expansion: sequent calculus (plural sequent calculi)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A set of inference rules for deriving true sequents from other true sequents.
Forms:
form: sequent calculi
tags: plural