natural deduction

(redirected from Natural deduction system)
Also found in: Encyclopedia.
Related to Natural deduction system: Natural deduction logic

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 include overlapping as a basic concept of subset spaces, representing public transport schedules as repeating trips, a heuristic approach to order events in narrative texts, and labeled natural deduction systems for a family of tense logics.