Jaśkowski and Gentzen approaches to natural deduction and related systems (Q2702282)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Jaśkowski and Gentzen approaches to natural deduction and related systems |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Jaśkowski and Gentzen approaches to natural deduction and related systems |
scientific article |
Statements
28 August 2001
0 references
natural deduction
0 references
consequence operation
0 references
Jaśkowski and Gentzen approaches to natural deduction and related systems (English)
0 references
In 1934, the first results concerning natural deduction systems were published independently by Gentzen and Jaśkowski. In this paper the author briefly describes Gentzen's and Jaśkowski's approaches focusing on similarities and differences, trying to point to their influence on further works on natural deduction and related systems.NEWLINENEWLINEFor the entire collection see [Zbl 0946.00016].
0 references
