XXII. Deutscher Kongress Für Philosophie (2011)
| Authors |
|
| Abstract |
Wir stellen einen pragmatisierten Kalkül des natürlichen Schließens vor, der sich dadurch auszeichnet, dass Ableitungen reine Folgen objektsprachlicher Sätze sind und ohne graphische oder andere Kommentarmittel auskommen.
|
| Keywords | Speech Act Calculus Logic Natural Deduction Pragmatisation |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,199
External links
(no proxy) 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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Citations of this work BETA
No citations found.
Similar books and articles
Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie.Moritz Cordes & Friedrich Reinmuth - manuscript
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-Theory.Moritz Cordes & Friedrich Reinmuth - manuscript
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Full Lambek Calculus in Natural Deduction.Ernst Zimmermann - 2010 - Mathematical Logic Quarterly 56 (1):85-88.
Translations From Natural Deduction to Sequent Calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
A Sequent Calculus Isomorphic to Gentzen’s Natural Deduction.Jan von Plato - 2011 - Review of Symbolic Logic 4 (1):43-53.
The Deduction Rule and Linear and Near-Linear Proof Simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
A Double Deduction System for Quantum Logic Based on Natural Deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
A Problem of Normal Form in Natural Deduction.Jan von Plato - 2000 - Mathematical Logic Quarterly 46 (1):121-124.
Analytics
Added to PP index
2014-09-20
Total views
40 ( #285,490 of 2,517,908 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,908 )
2014-09-20
Total views
40 ( #285,490 of 2,517,908 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,908 )
How can I increase my downloads?
Downloads
