##
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