title: Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie creator: Cordes, M. A. Moritz creator: Reinmuth, M. A. Friedrich subject: Logic description: 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. date: 2010-10-26 type: Other type: NonPeerReviewed format: application/pdf identifier: http://cogprints.org/7134/4/Ein_Redehandlungskalk%C3%BCl.pdf identifier: Cordes, M. A. Moritz and Reinmuth, M. A. Friedrich (2010) Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie. (Unpublished) relation: http://cogprints.org/7134/