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

%A M. A. Moritz Cordes %A M. A. Friedrich Reinmuth %T Ein Redehandlungskalk?l. Ein pragmatisierter Kalk?l des nat?rlichen Schlie?ens nebst Metatheorie %X 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. %D 2010 %K Speech Act Calculus, Natural Deduction, Logic, Pragmatisation, Redehandlungskalk?l, Kalk?l des nat?rlichen Schlie?ens, Logik, Pragmatisierung, Redehandlung, Kalk?l %L cogprints7134