<> "The repository administrator has not yet configured an RDF license."^^ . <> . . "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. "^^ . "2011-07-18" . . . . . . . . . . . "Friedrich"^^ . "Reinmuth"^^ . "Friedrich Reinmuth"^^ . . "Moritz"^^ . "Cordes"^^ . "Moritz Cordes"^^ . . . . . . "A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory (PDF)"^^ . . . . . . . . . . "A_Speech_Act_Calculus.pdf"^^ . . . "A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #7596 \n\nA Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory\n\n" . "text/html" . . . "Logic" . .