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.