搜索结果: 1-1 共查到“计算机科学技术基础学科 Natural Deduction”相关记录1条 . 查询时间(0.078 秒)
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory
Speech Act Calculus Natural Deduction Logic Pragmatisation
2015/7/21
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 lev...