Repository | Book | Chapter
(2018) The Lvov-Warsaw school, Dordrecht, Springer.
In 1934 Stanisław Jaśkowski published his groundbreaking work on natural deduction. At the same year Gerhard Gentzen also published a work on the same topic. We aim at presenting (three versions) of Jaśkowski's system and provide a comparison with Gentzen's approach. We also try to outline the influence of Jaśkowski's approach on the later development of natural deduction systems.
Publication details
DOI: 10.1007/978-3-319-65430-0_33
Full citation:
Indrzejczak, A. (2018)., Stanisław Jaśkowski and natural deduction systems, in A. Garrido & U. Wybraniec-Skardowska (eds.), The Lvov-Warsaw school, Dordrecht, Springer, pp. 465-483.
This document is unfortunately not available for download at the moment.