A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theoryMoritzCordesauthorFriedrichReinmuthauthorBuilding 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. Logic2011-07-18Other