Linguistique de l’écrit

Revue internationale en libre accès

Collections | Livre | Chapitre

176698

Jaśkowski and Gentzen approaches to natural deduction and related systems

Andrzej Indrzejczak

pp. 253-264

Résumé

It is well known that Jaśkowski and Gentzen independently published their results concerning Natural Deduction (ND for short) in 1934. But details of their work are not well known, as one can see when faced with many publications concerning ND. In what follows we briefly describe two systems of ND due to (1929), (1934) and (1934), then the Sequent Calculus (SC) from (1934) and finally one more ND system from (href="#CR20">1936). We focus on similarities and differences in the approaches of both authors. Moreover we try to show their influence (not always clearly recognised) on further works on ND and related systems. This picture is necessarily some-what sketchy and far from being complete so we would like to apologise in advance to the many logicians who are not even mentioned in this paper, but should be.

Détails de la publication

Publié dans:

Kijania-Placek Katarzyna, Woleński Jan (1998) The Lvov-Warsaw school and contemporary philosophy. Dordrecht, Springer.

Pages: 253-264

DOI: 10.1007/978-94-011-5108-5_21

Citation complète:

Indrzejczak Andrzej, 1998, Jaśkowski and Gentzen approaches to natural deduction and related systems. In K. Kijania-Placek & J. Woleński (eds.) The Lvov-Warsaw school and contemporary philosophy (253-264). Dordrecht, Springer.