最終更新日：2024/08/04

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

正解を見る

sequent calculus

問題を編集する

元となった辞書の項目

sequent calculus

noun

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

Sequent calculus is a formal system used in mathematical logic.

意味（1）

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