Stanisław Jaśkowski and natural deduction systems
pp. 465-483
in: Angel Garrido, Urszula Wybraniec-Skardowska (eds), The Lvov-Warsaw school, Berlin, Springer, 2018Abstract
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.
