Book | Chapter
Stanisław Jaśkowski and natural deduction systems
pp. 465-483
Abstract
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
Published in:
Garrido Angel, Wybraniec-Skardowska Urszula (2018) The Lvov-Warsaw school: past and present. Dordrecht, Springer.
Pages: 465-483
DOI: 10.1007/978-3-319-65430-0_33
Full citation:
Indrzejczak Andrzej (2018) „Stanisław Jaśkowski and natural deduction systems“, In: A. Garrido & Wybraniec-Skardowska (eds.), The Lvov-Warsaw school, Dordrecht, Springer, 465–483.