On the Classification of Natural Deduction Calculi


Abstract
In 1934 Jaśkowski and Gentzen independently published their groundbreaking works on Natural Deduction. The aim of this paper is to provide some criteria for division of the diversity of existing systems on some natural subcategories and to show that despite the differences all these systems are descendants of original systems of Jaśkowski and Gentzen. Three criteria are discussed:The kind of items which are building-blocks of the proof.The format of proof.The kind of rules.The first leads to the division of ND into two main classes: F-systems working on formulas and S-systems working on sequents. The second distinguishes between T-systems with tree-proofs and L-systems with linear proofs. Finally, the third leads to several minor divisions in the main categories.
Keywords Conference Proceedings  Contemporary Philosophy
Categories (categorize this paper)
ISBN(s) 978-1-63435-038-9
DOI 10.5840/wcp23201819488
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 49,066
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
Gentzen's Proof Systems: Byproducts in a Work of Genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
Jaśkowski and Gentzen Approaches to Natural Deduction and Related Systems.Andrzej Indrzejczak - 1998 - In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. pp. 253--264.
Natural Deduction: A Proof-Theoretical Study. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):596-596.

Analytics

Added to PP index
2020-05-08

Total views
1 ( #1,403,077 of 2,311,214 )

Recent downloads (6 months)
1 ( #753,181 of 2,311,214 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes

Sign in to use this feature