A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory
Moritz Cordes, M. A. Friedrich Reinmuth · CogPrints (University of Southampton) · 2011
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.