Paraconsistency in Chang's Logic with Positive and Negative Truth Values
Renato A. Lewin, Marta Sagastume · 2002
We will call this logic L* . In a previous paper, [2], Chang had established that L had the variety of MV- algebras as what we now call an equivalent algebraic semantics in the sense of [3]. In fact this variety is generated by the algebra ([0,1]; ®, -i, 1} , whose operations are x®y = min(l,a; + j/), -ix = I — x.