Meanings
nounsequent calculus (plural sequent calculi)
plural sequent calculi
- human sciencesA set of inference rules for deriving true sequents from other true sequents.
Cite this entry
APA
sequent calculus. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/sequent%20calculus
MLA
“sequent calculus.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/sequent%20calculus. Accessed November 3, 2026.
Chicago
WatkinsX Dictionary, s.v. “sequent calculus,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/sequent%20calculus.
Source: sequent calculus on Wiktionary, CC BY-SA 4.0.