A Natural Deduction System for First Degree Entailment
A Natural Deduction System for First Degree Entailment
复制标题
一级蕴涵的自然演绎系统
DOI：
10.1305/ndjfl/1038949541
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Koji Tanaka
中科院分区：
文献类型：
--
作者：
A. Tamminga;Koji Tanaka
本文研究了一级蕴涵的自然演绎系统。首先，我们展示了FDE和组合系统的简要历史，它们的基本思想被用于开发自然演绎系统。然后，在介绍了FDE的语言和语义之后，我们开发了一个用于FDE的自然演绎系统。然后从语义的角度证明了系统的可靠性和完备性。该系统很好地表达了FDE的四值语义。
This paper is concerned with a natural deduction system for First Degree Entailment (FDE). First, we exhibit a brief history of FDE and of combined systems whose underlying idea is used in developing the natural deduction system. Then, after presenting the language and a semantics of FDE, we develop a natural deduction system for FDE. We then prove soundness and completeness of the system with respect to the semantics. The system neatly represents the four-valued semantics for FDE.