[1] CIGNOLI R. L. O.-D'OTTAVIANO I. M. L.-MUNDICI D.: Algebraic Foundations of Many-valued Reasoning. Kluwer Acad. Publ., Dordrecht-Boston-London, 2000. MR 1786097 | Zbl 0937.06009

[2] CHANG C. C.: Algebraic analysis of many valued logics. Trans. Amer. Math. Soc. 88 (1958), 467-490. MR 0094302 | Zbl 0084.00704

[3] CHAJDA I.-HALAŠ R.-KÜHR J.: Distributive lattices with sectionally antitone involutions. Acta Sci. Math. (Szeged) 71 (2005), 19-33. MR 2160352 | Zbl 1099.06006

[4] CHAJDA I.-HALAŠ R.-KÜHR J.: Implication in MV-algebras. Algebra Universalis 52 (2004), 377-382. MR 2120523 | Zbl 1097.06011

[5] MUNDICI D.: Interpretation of AF C* -algebras in Lukasiewicz sentential calculus. J. Funct. Anal. 65 (1986), 15-63. MR 0819173