This site has been permanently archived. This is a static copy provided by the University of Southampton.

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 -