Word.ws English Dictionary

sequent calculi

sequent calculi is the plural of sequent calculus.

Meaning of sequent calculus

Noun

sequent calculus (plural sequent calculi)

  1. A set of inference rules for deriving true sequents from other true sequents.

Questions about sequent calculi

What is sequent calculi the plural of?
Sequent calculi is the plural of sequent calculus.

Words near sequent calculi in the dictionary

  1. sequencies
  2. sequencing
  3. sequencings
  4. sequency
  5. sequent
  6. sequent calculi
  7. sequent calculus
  8. sequential
  9. sequential analysis
  10. sequential art
  11. sequential art narrative

Source and license

Adapted from Wiktionary: sequent calculi (page history and authors); sequent calculus (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “sequent calculi.” Word.ws, https://word.ws/sequent_calculi. Based on Wiktionary, CC BY-SA 4.0.