Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Buch | Kapitel
Stanisław Jaśkowski and natural deduction systems
pp. 465-483
Abstrakt
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.
Seiten: 465-483
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-3-319-65430-0_33
Referenz:
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.