Natural deduction
[de] Systeme natürlichen Schließens
[es] Deducción natural
[fa] استنتاج طبیعی
[fi] Luonnollinen päättely
[fr] Déduction naturelle
[it] Deduzione naturale
[ja] 自然演繹
[ko] 자연 연역
[nl] Natuurlijke deductie
[nb] Naturlig deduksjon