论文信息 - A Natural Deduction System for First Degree Entailment

A Natural Deduction System for First Degree Entailment

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.

Koji Tanaka | Allard M. Tamminga

[1] Helmut Schwichtenberg,et al. Basic proof theory , 1996, Cambridge tracts in theoretical computer science.

[2] J. Dunn,et al. Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .

[3] Nuel D. Belnap,et al. Entailment : the logic of relevance and necessity , 1975 .

[4] F. Brentano,et al. Die Lehre vom richtigen Urteil. , 1958 .

[5] Jean François Pique,et al. About Natural Logic , 1979, Advances in Data Base Theory.

[6] Anthony Hunter,et al. Paraconsistent logics , 1998 .

[7] Wilhelm Ackermann,et al. Begründung einer strengen Implikation , 1956, Journal of Symbolic Logic.

[8] Jan Łukasiewicz. Aristotle's Syllogistic From the Standpoint of Modern Formal Logic , 1957 .

[9] Beata Konikowska,et al. A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic , 1990, Stud Logica.

[10] Graham Priest,et al. Simplified semantics for basic relevant logics , 1992, J. Philos. Log..

[11] A. Tamminga. Logics of rejection: two systems of natural deduction , 1994 .

[12] Richard Routley,et al. The Semantics of First Degree Entailment , 1972 .