Repository | Book | Chapter
(1998) The Lvov-Warsaw school and contemporary philosophy, Dordrecht, Springer.
Jaśkowski and Gentzen approaches to natural deduction and related systems
Andrzej Indrzejczak
pp. 253-264
It is well known that Jaśkowski and Gentzen independently published their results concerning Natural Deduction (ND for short) in 1934. But details of their work are not well known, as one can see when faced with many publications concerning ND. In what follows we briefly describe two systems of ND due to (1929), (1934) and (1934), then the Sequent Calculus (SC) from (1934) and finally one more ND system from (href="#CR20">1936). We focus on similarities and differences in the approaches of both authors. Moreover we try to show their influence (not always clearly recognised) on further works on ND and related systems. This picture is necessarily some-what sketchy and far from being complete so we would like to apologise in advance to the many logicians who are not even mentioned in this paper, but should be.
Publication details
DOI: 10.1007/978-94-011-5108-5_21
Full citation:
Indrzejczak, A. (1998)., Jaśkowski and Gentzen approaches to natural deduction and related systems, in K. Kijania-Placek & J. Woleński (eds.), The Lvov-Warsaw school and contemporary philosophy, Dordrecht, Springer, pp. 253-264.
This document is unfortunately not available for download at the moment.