founded in 1614  -  top 100 university

Research database


A natural deduction system for first degree entailment

Tamminga, A. & Tanaka, K. 1999 In : Notre Dame Journal of Formal Logic. 40, 2, p. 258-272 15 p.

Research output: Scientific - peer-reviewArticle



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.
Original languageEnglish
Pages (from-to)258-272
Number of pages15
JournalNotre Dame Journal of Formal Logic
Issue number2
StatePublished - 1999


  • Lukasiewicz, Jan

View graph of relations

Download statistics

No data available

ID: 3197119