Home
Random
Log in
Settings
Donations
About Wiktionary
Disclaimers
Search
sequent calculus
Language
Watch
Edit
English
edit
Noun
edit
sequent
calculus
(
plural
sequent calculi
)
(
mathematics
,
logic
)
A set of
inference rules
for deriving true
sequents
from other true sequents.
Categories
:
English lemmas
English nouns
English countable nouns
English multiword terms
en:Mathematics
en:Logic