@unpublished{cogprints7134, month = {October}, title = {Ein Redehandlungskalk{\"u}l. Ein pragmatisierter Kalk{\"u}l des nat{\"u}rlichen Schlie{\ss}ens nebst Metatheorie}, author = {M. A. Moritz Cordes and M. A. Friedrich Reinmuth}, year = {2010}, keywords = {Speech Act Calculus, Natural Deduction, Logic, Pragmatisation, Redehandlungskalk{\"u}l, Kalk{\"u}l des nat{\"u}rlichen Schlie{\ss}ens, Logik, Pragmatisierung, Redehandlung, Kalk{\"u}l}, url = {http://cogprints.org/7134/}, 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. } }