http://cogprints.org/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.
Cordes, M. A. Moritz
Reinmuth, M. A. Friedrich
Logic
Moritz
Cordes
Friedrich
Reinmuth