On Partial and Paraconsistent Logics

Notre Dame Journal of Formal Logic 40 (3):352-374 (1999)
Download Edit this record How to cite View on PhilPapers
Abstract
In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants.
Keywords
No keywords specified (fix it)
Categories
PhilPapers/Archive ID
MUSOPA
Revision history
Archival date: 2018-08-27
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Analytic Tableaux for All of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.
A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.

View all 8 citations / Add more citations

Added to PP index
2009-01-28

Total views
66 ( #27,127 of 38,918 )

Recent downloads (6 months)
3 ( #37,979 of 38,918 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.