Notre Dame Journal of Formal Logic 40 (2):258-272 (1999)

Koji Tanaka
Australian National University
Allard Tamminga
University of Greifswald
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

PhilArchive copy

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

References found in this work BETA

Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Begrundung Einer Strengen Implik.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21:113.
Simplified Semantics for Basic Relevant Logics.Graham Priest & Richard Sylvan - 1992 - Journal of Philosophical Logic 21 (2):217 - 232.

View all 7 references / 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 views
113 ( #103,576 of 2,506,522 )

Recent downloads (6 months)
3 ( #209,726 of 2,506,522 )

How can I increase my downloads?


My notes