A rich paraconsistent extension of full positive logic

Diderik Batens, Kristof De Clercq


In the present paper we devise and study the most natural predicative extension of Schütte’s maximally paraconsistent logic. With some of its large fragments, this logic, CLuNs, forms the most popular family of paraconsistent logics. Devising the system involves some entanglements, and the system itself raises several interesting questions. As the system and fragments were studied by other authors, we restrict our attention to results that we have not seen in press.

Full Text:



  • There are currently no refbacks.