"7596","A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory","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/7596/","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>     (2011)  <a href=\"http://cogprints.org/7596/\"><em>A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory.</em></a>           (Unpublished)   ","moe4284@gmx.de,Friedrich.Reinmuth@web.de","2011-07-18"