论文标题
定向扣除
Directional Deduction
论文作者
论文摘要
根据地面理论的思想，我们提出了一些逻辑推论的新方法。粗略地说，在我们的微积分中，典型的扣除将如下进行：我们首先将前提分析为最终的理由；然后，我们将信息与结论无关。然后，我们从其最终理由综合了结论。我们给出一系列的计算：经典命题逻辑（第1章）；经典谓词逻辑（第2章）;模态命题逻辑和模态谓词逻辑（第3章）;以及这些各种系统的一些相关片段（第4章和第5章）。与这些片段有关，我们还开发了一些新的语义结构，即“真实语义”类型。
We present some new methods for logical deduction, based on ideas from ground theory. Roughly speaking, in our calculi a typical deduction will proceed as follows: we first analyse the premiss down to its ultimate grounds; then we discard information irrelevant to the conclusion; and then we synthesize the conclusion up from its ultimate grounds. We give a series of calculi for: classical propositional logic (Chapter 1); classical predicate logic (Chapter 2); modal propositional logic and modal predicate logic (Chapter 3); and some relevantistic fragments of these various systems (Chapters 4 and 5). In connection with these fragments we develop also some new semantic constructions, of 'truthmaker semantics' type.
