Embedding and interpolation for some paralogics : the propositional case

• Autorzy: Batens D. , Clercq K. , Kurtonina N.
• Języki publikacji: EN

Abstrakty

EN

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.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 1999
• Tom: No. 33
• Strony: 29--44

Twórcy

autor

Batens D.

autor

Clercq K.

autor

Kurtonina N.