natural deduction

(redirected from Natural deduction calculus)
Also found in: Encyclopedia.

natural deduction

n
(Logic) a system of formal logic that has no axioms but permits the assumption of premises of an argument. Such a system uses sequents to record which assumptions are operative at any stage. Compare axiomatic3
Mentioned in ?
References in periodicals archive ?
Topics of the 38 papers include research models for patient-centered healthcare services, natural deduction calculus for computation tree logic, intelligent traffic management through MPEG-7 vehicle flow surveillance, and performance modeling of the Blue Gene architecture.