最終更新日：2025/11/30

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

音声機能が動作しない場合はこちらをご確認ください

正解を見る

sequent calculus

元となった辞書の項目

sequent calculus

名詞

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

日本語の意味

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

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

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

意味（1）

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

sequent calculi

（ plural ）