TY  - UNPB
N1  - Translation of our paper "Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie"; online available at http://hal.archives-ouvertes.fr/hal-00532643/en/ .
ID  - cogprints7596
UR  - http://cogprints.org/7596/
A1  - Cordes, M. A. Moritz
A1  - Reinmuth, M. A. Friedrich
TI  - A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory
Y1  - 2011/07/18/
N2  - Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. 
AV  - public
KW  - Speech Act Calculus
KW  -  Natural Deduction
KW  -  Logic
KW  -  Pragmatisation
ER  -

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>