sequent calculus
Jump to navigation
Jump to search
English
[edit]Noun
[edit]sequent calculus (plural sequent calculi)
- (mathematics, logic) A set of inference rules for deriving true sequents from other true sequents.
sequent calculus (plural sequent calculi)