Abstract
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 $\neg(a\wedge\neg a)$ is a theorem which can be algebraized by a technique similar to the Tarski-Lindenbaum technique.
Citation
Jean-Yves Béziau. "Idempotent Full Paraconsistent Negations are not Algebraizable." Notre Dame J. Formal Logic 39 (1) 135 - 139, Winter 1998. https://doi.org/10.1305/ndjfl/1039293025
Information