HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › sequent calculus
← Back to search

Meaning of sequent calculus | Babel Free

Noun CEFR B2

Definitions

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

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Sequential sequential art sequential art narrative sequential compactness sequential continuity sequential file

Learn this word in context

See sequent calculus used in real conversations inside our free language course.

Start Free Course