In this paper we explain that the paraconsistent logic LP promoted by Graham Priest can only be supported by trivial dialetheists, i.e., those who believe that all sentences are dialetheias.

A logic \ is called self-extensional if it allows to replace occurrences of a formula by occurrences of an \-equivalent one in the context of claims about logical consequence and logical validity. It is known that no three-valued paraconsistent logic which has an implication can be self-extensional. In this paper we show that in contrast, there is exactly one self-extensional three-valued paraconsistent logic in the language of \ for which \ is a disjunction, and \ is a conjunction. We also (...) investigate the main properties of this logic, determine the expressive power of its language, and provide a cut-free Gentzen-type proof system for it. (shrink)

A proof is presented showing that there is no paraconsistent logics with a standard implication which have a three-valued characteristic matrix, and in which the replacement principle holds.

A logic \ is called self-extensional if it allows to replace occurrences of a formula by occurrences of an \-equivalent one in the context of claims about logical consequence and logical validity. It is known that no three-valued paraconsistent logic which has an implication can be self-extensional. In this paper we show that in contrast, the famous Dunn–Belnap four-valued logic has exactly one self-extensional four-valued extension which has an implication. We also investigate the main properties of this logic, determine the (...) expressive power of its language, and provide a cut-free Gentzen-type proof system for it. (shrink)