derivation system
preferred label: دستگاه اشتقاق @fa
type: Concept
related: system of proof

system of proof
related: derivation system
related: derivation rules
related: complexity of proof
broader: structure of proof
preferred label: دستگاه برهان @fa
type: Concept

derivation rules
preferred label: قواعد اشتقاق @fa
type: Concept
related: system of proof

complexity of proof
preferred label: پیچیدگی برهان @fa
type: Concept
related: system of proof

structure of proof
preferred label: ساختار برهان @fa
type: Concept
narrower: system of proof