A new p araconsistent set theory: ML1

Roque da C Caiero, Edelcio G de Souza


In the present paper we deal with the philosophical aspects of paraconsistent set theories, In order to illustrate our points more concretely, we will construct a new paraconsistent set theory (called ML1) based both on Quine's well-known ML system and on the paraconsistent calculus C1*.

Full Text:



  • There are currently no refbacks.