دستگاه اصل موضوعی
preferred label: axiomatic system @en
type: Concept
related: استنتاج طبیعی

استنتاج طبیعی
type: Concept
related: فرمول
related: دستگاه اصل موضوعی
related: جمله
related: حساب دنباله‌ها
scope note: این دستگاه که توسط گنتسن ارائه شد بر خلاف دستگاه اصل موضوعی , تنها قاعده (استنتاج) است.
preferred label: natural deduction @en
broader: دستگاه اشتقاق

جمله
preferred label: sentence @en
type: Concept
related: استنتاج طبیعی

دستگاه اشتقاق
preferred label: derivation system @en
type: Concept
narrower: استنتاج طبیعی

فرمول
preferred label: formula @en
type: Concept
related: استنتاج طبیعی

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