A natural deduction system for first degree entailmentTamminga, A. & Tanaka, K. 1999 In : Notre Dame Journal of Formal Logic. 40, 2, p. 258-272 15 p.
Research output: Scientific - peer-review › Article
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.
- Lukasiewicz, Jan