In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many…
Fecha:
2012-11-09
Recurso:
Unversidad Nacional de La Plata
CIC - Centro de Información y Conocimiento Johannes Gutenberg ®