natural deduction
استنتاج طبیعی
sentence
جمله
derivation system
دستگاه اشتقاق
حساب رشته‌ها
حساب دنباله‌ها
sequent calculus
constraint inference
استنباط مقید