@unpublished{cogprints7596, month = {July}, title = {A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory}, author = {M. A. Moritz Cordes and M. A. Friedrich Reinmuth}, year = {2011}, note = {Translation of our paper "Ein Redehandlungskalk{\"u}l. Ein pragmatisierter Kalk{\"u}l des nat{\"u}rlichen Schlie{\ss}ens nebst Metatheorie"; online available at http://hal.archives-ouvertes.fr/hal-00532643/en/ .}, keywords = {Speech Act Calculus, Natural Deduction, Logic, Pragmatisation}, url = {http://cogprints.org/7596/}, abstract = {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. } }