Idempotent Full Paraconsistent Negations are not Algebraizable
Jean-Yves Béziau · Notre Dame Journal of Formal Logic · 1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that $ eg(a\wedge eg a)$ is a theorem which can be algebraized by a technique similar to the Tarski-Lindenbaum technique.