Reports on Mathematical Logic

No. 33


Diderik BATENS, Kristof De CLERCQ and Natasha KURTONINA

EMBEDDING AND INTERPOLATION FOR SOME PARALOGICS. THE PROPOSITIONAL CASE

A b s t r a c t. We consider the very weak paracomplete and paraconsistent logics that are obtained by a straightforward weakening of Classical Logic, as well as some of their maximal extensions that are a fragment of Classical Logic. We prove (for the propositional case) that these logics may be faithfully embedded in Classical Logic (as well as in each other), and that the interpolation theorem obtains for them.


Back to Main Menu