導出システム
derivation system
議論の対象に対する様々な
判断
(
judgment
) を
推論規則
(
inference rule
) に従って導くための記述体系