%A M. A. Moritz Cordes
%A M. A. Friedrich Reinmuth
%O 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/ .
%T A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory
%X 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. 
%D 2011
%K Speech Act Calculus, Natural Deduction, Logic, Pragmatisation
%L cogprints7596

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