sequent calculus
sequent calculus · sequent calculi
A set of inference rules for deriving true sequents from other true sequentsA set of inference rules for deriving true sequents from other true sequents.
Meaning
1 sensesA set of inference rules for deriving true sequents from other true sequents.
Forms
plural: sequent calculi| Singular | sequent calculus |
|---|---|
| Plural | sequent calculi |
irregular · Lesson
Lessons for this word
1 lessons- A1Plural nouns — Because its plural is irregular