Now showing items 1-2 of 2
The philosophy of logic
(Automatic Press, 2013-11-14) - Book item,
(Oxford University Press, 2015-05-14) - Book item,
The idea of proof-theoretic validity originated in the work of Gerhard Gentzen, when he suggested that the meaning of each logical expression was encapsulated in its introduction-rules, and that the elimination-rules were ...