**Topic:** **PARACONSISTENCY**
I ask the Paraconsistent Logicians that happened upon this blog to comment on the paper below with special attention, and write their thoughts.

### On Partial and Paraconsistent Logics

By Reinhard Muskens

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 L_{4}, 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 L_{4} has a semantics that also underlies Belnap's and is related to the logic of bilattices. L_{4} is in focus most of the time, but it is also shown how results obtained for L_{4} can be transferred to several variants.

Source: Semantics Archive

See it

Posted by Tony Marmo
at 00:01 GMT

Updated: Saturday, 15 January 2005 15:33 GMT