Research database

Publication

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

Documents

  • andsffde.pdf

    Publisher final version (usually the publisher pdf) , 80 KB, PDF-document

Links

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
Pages258-272
Number of pages15
JournalNotre Dame Journal of Formal Logic
Journal publication date1999
Volume40
Issue2
DOIs
StatePublished
Peer-reviewedYes

Keywords

  • Lukasiewicz, Jan

View graph of relations

ID: 3197119