A Note on Tableaux of Logic of Paradox.

Zuoquan Lin,Wei Li
DOI: https://doi.org/10.1007/3-540-58467-6_26
1994-01-01
Abstract:The logic of paradox LP proposed by Priest [1979] is one of paraconsistent logics. One of the motivations behind paraconsistent logic, namely LP, is that it should not be the case that everything follows from a single contradiction. It must pay a price, however, that some classical inferences would be invalid in LP. In Priest's recent invention, the logic of minimal paradox LPm can overcome the drawback, such that paraconsistent logic would be equivalent to classical logic when there is not direct effect of a contradiction. Although some proof theories for LP were introduced, there has not yet been a satisfactory proof theory for LPm. We will propose a sound and complete tableaux for LPm in this article.
What problem does this paper attempt to address?