دستگاه اصل موضوعی
preferred label: axiomatic system @en
type: Concept
broader: دستگاه اشتقاق

دستگاه برهان
preferred label: system of proof @en
type: Concept
related: دستگاه اشتقاق

استنتاج طبیعی
preferred label: natural deduction @en
type: Concept
broader: دستگاه اشتقاق

برهان
preferred label: proof @en
type: Concept
related: دستگاه اشتقاق

دستگاه اشتقاق
preferred label: derivation system @en
related: پیچیدگی برهان
related: برهان
related: دستگاه برهان
type: Concept
broader: اشتقاق منطقی
narrower: استنتاج طبیعی
narrower: حساب دنباله‌ها
narrower: دستگاه اصل موضوعی
narrower: قواعد اشتقاق

قواعد اشتقاق
preferred label: derivation rules @en
type: Concept
broader: دستگاه اشتقاق

حساب دنباله‌ها
preferred label: sequent calculus @en
type: Concept
broader: دستگاه اشتقاق

پیچیدگی برهان
preferred label: complexity of proof @en
type: Concept
related: دستگاه اشتقاق

اشتقاق منطقی
preferred label: logical derivation @en
type: Concept
narrower: دستگاه اشتقاق