استنتاج طبیعی
preferred label: natural deduction @en
type: Concept
related: حساب دنباله‌ها

جمله
preferred label: sentence @en
type: Concept
related: حساب دنباله‌ها

دستگاه اشتقاق
preferred label: derivation system @en
type: Concept
narrower: حساب دنباله‌ها

حساب دنباله‌ها
alternative label: حساب رشته‌ها
related: استنباط مقید
related: استنتاج طبیعی
related: جمله
broader: دستگاه اشتقاق
preferred label: sequent calculus @en
type: Concept

استنباط مقید
preferred label: constraint inference @en
type: Concept
related: حساب دنباله‌ها