sequent calculus

(mathematics, logic) A set of inference rules for deriving true sequents from other true sequents.

Japanese Meaning

数学および論理学において、真であるシーケント（論理的推論の一形式）を他の真であるシーケントから導出するための推論規則の体系。

The sequent calculus provides a clear framework for formalizing inference rules in proof theory.

シーケント計算は、証明論における推論規則を形式化するための明確な枠組みを提供します。

Sense（1）

(mathematics, logic) A set of inference rules for deriving true sequents from other true sequents.

sequent calculi

（ plural ）