A natural deduction system for first degree entailment

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

Authors
Koji Tanaka
Australian National University
Allard Tamminga
University of Greifswald
Abstract
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
Options
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: 48,857
Through your library

References found in this work BETA

Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Simplified Semantics for Basic Relevant Logics.Graham Priest & Richard Sylvan - 1992 - Journal of Philosophical Logic 21 (2):217 - 232.

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

Analytics

Added to PP index
2010-07-26

Total views
98 ( #91,337 of 2,309,424 )

Recent downloads (6 months)
4 ( #267,203 of 2,309,424 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature