A2Z Dictionary
Home
Browse A-Z
About
Join
English
Español
Français
Deutsch
Italiano
Português
Русский
日本語
한국어
العربية
हिन्दी
Türkçe
🔍
Sequent calculus
Noun
Word Frequency:
0.0
Definitions
1.
Noun
A set of inference rules for deriving true sequents from other true sequents.
Synonyms
sequent
natural deduction
logical calculus
succedent
hypersequent
inference rule
infinite regress
formal logic
quasiderivation
linear logic
proof system
sentential calculus
🔗
Find words with "sequent calculus" in A2Z Word Finder
🔤
The Daily Word Nerd
A new word, a puzzle, and a fun fact — free in your inbox every morning.
Subscribe
Free forever · unsubscribe anytime ·
all 14 newsletters
That email did not go through — please check it and try again.