Natural Deduction for Three-Valued Regular Logics

Logic and Logical Philosophy 26 (2):197–206 (2017)
Download Edit this record How to cite View on PhilPapers
Abstract
In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M. Fitting and the other one by E. Komendantskaya. All these systems were originally presented in the semantical way and based on the theory of recursion. However, the proof theory of them still is not fully developed. Thus, natural deduction sys- tems are built only for strong Kleene’s logic both with one (A. Urquhart, G. Priest, A. Tamminga) and two designated values (G. Priest, B. Kooi, A. Tamminga). The purpose of this paper is to provide natural deduction systems for weak and intermediate regular logics both with one and two designated values.
Categories
(categorize this paper)
PhilPapers/Archive ID
PETNDF-3
Upload history
Archival date: 2017-10-24
View other versions
Added to PP index
2017-10-24

Total views
329 ( #16,547 of 56,976 )

Recent downloads (6 months)
54 ( #13,540 of 56,976 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.