Sekirov Dictionary

sequent calculus

noun1

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

forms

sequent calculi

This dictionary works without the internet: on your phone · in Chrome