Repository | Book | Chapter

180179

Stanisław Jaśkowski and natural deduction systems

Andrzej Indrzejczak

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.