@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. }
}