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
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.
No keywords specified (fix it)
PhilPapers/Archive ID
Revision history
Archival date: 2018-08-27
View upload history
References found in this work BETA
Reasoning with Logical Bilattices.Arieli, Ofer & Avron, Arnon
Situations and Attitudes.Butterfield, Jerry

View all 10 references / Add more references

Citations of this work BETA
A Gentzen Calculus for Nothing but the Truth.Wintein, Stefan & Muskens, Reinhard
Analytic Tableaux for All of SIXTEEN 3.Wintein, Stefan & Muskens, Reinhard

View all 10 citations / Add more citations

Added to PP index

Total views
88 ( #32,496 of 46,477 )

Recent downloads (6 months)
15 ( #40,372 of 46,477 )

How can I increase my downloads?

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