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.




file:ANDSfFDE.pdf

Gebruik a.u.b. deze link om te verwijzen naar dit document:
http://irs.ub.rug.nl/dbi/46f0de6940da4


 
To top