Ein Redehandlungskalkül
Résumé
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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|