sequent calculus en · NOUN
Meanings
- A set of inference rules for deriving true sequents from other true sequents.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| sequent calculi | Number=Plur | lexicographic |
Dictionary
Words, grammatical forms and meanings linked to the ontology.