TY - UNPB ID - cogprints7134 UR - http://cogprints.org/7134/ A1 - Cordes, M. A. Moritz A1 - Reinmuth, M. A. Friedrich TI - Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie Y1 - 2010/10/26/ N2 - 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. AV - public KW - Speech Act Calculus KW - Natural Deduction KW - Logic KW - Pragmatisation KW - Redehandlungskalkül KW - Kalkül des natürlichen Schließens KW - Logik KW - Pragmatisierung KW - Redehandlung KW - Kalkül ER -