"7134","Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie","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. ","http://cogprints.org/7134/","Cordes, M. A. Moritz and Reinmuth, M. A. Friedrich","UNSPECIFIED","       <span class=\"person_name\">Cordes, M. A. Moritz</span> and <span class=\"person_name\">Reinmuth, M. A. Friedrich</span>     (2010)  <a href=\"http://cogprints.org/7134/\"><em>Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie.</em></a>           (Unpublished)   ","moe4284@gmx.de,Friedrich.Reinmuth@web.de","2010-10-26"