A natural deduction system for first degree entailment

Notre Dame Journal of Formal Logic 40 (2):258-272 (1999)
Koji Tanaka
Australian National University
Allard Tamminga
University of Groningen
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.
Keywords 440106 Logic  CX  780199 Other
Categories (categorize this paper)
DOI 10.1305/ndjfl/1038949541
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 37,134
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Natural Deduction Systems for Nelson's Paraconsistent Logic and its Neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.

Add more citations

Similar books and articles


Added to PP index

Total downloads
77 ( #87,329 of 2,308,308 )

Recent downloads (6 months)
2 ( #291,675 of 2,308,308 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature