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 |
![]() ![]() ![]() |
Download options
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