When1: 1965
Who: Dag Prawitz [Prawitz, Dag]
What: logician
Where: Stockholm, Sweden
works\ Natural Deduction [1965]
Detail: He lived 1936 to ?. Removing sections in which introduction rule precedes elimination rule can simplify natural deductions {normalization, logic}, because addition followed by subtraction leads to no net result.
Social Sciences>Philosophy>History>Epistemology
6-Philosophy-History-Epistemology
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224