A natural deduction system for first degree entailment

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

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,273

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2010-07-26

Downloads
119 (#128,502)

6 months
4 (#243,955)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Koji Tanaka
Australian National University
Allard Tamminga
University of Greifswald

Citations of this work

Expansion and contraction of finite states.Allard Tamminga - 2004 - Studia Logica 76 (3):427-442.
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

References found in this work

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