Rijksuniversiteit Groningen / Faculteit Wijsbegeerte
English | Nederlands

A Natural Deduction System for First Degree Entailment

(1998) Tamminga, Allard; Tanaka, Koji

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.


Gebruik a.u.b. deze link om te verwijzen naar dit document:

To top