%A M. A. Moritz Cordes
%A M. A. Friedrich Reinmuth
%T Ein Redehandlungskalk?l. Ein pragmatisierter Kalk?l des nat?rlichen Schlie?ens nebst Metatheorie
%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 2010
%K Speech Act Calculus, Natural Deduction, Logic, Pragmatisation, Redehandlungskalk?l, Kalk?l des nat?rlichen Schlie?ens, Logik, Pragmatisierung, Redehandlung, Kalk?l
%L cogprints7134

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