1. Czelakowski, J. (2001). Protoalgebraic logics. Trends in logic, Vol. 10. Dordrecht: Kluwer.
2. Cignoli, R. L. O., D’Ottaviano, I. M. L., Mundici, D. (2000). Algebraic foundations of many-valued reasoning. Trends in logic, Vol. 7. Dordrecht: Kluwer.
3. Gispert, J., Mundici, D. (2005). MV-algebras: a variety for magnitudes with archimedean units. Algebra Universalis. Special issue in memoriam Wim Blok (Vol. 53.1, pp. 7–43).
4. Grigolia, R. S. Algebraic analysis of Łukasiewicz–Tarski’s n-valued logical systems. In [Wójcicki R, Malinowski G (Eds.). (1977). Selected papers on Łukasiewicz sentential calculi. Wroc $$\l$$ aw: Ossolineum] (pp. 81–92).
5. Hay, L. S. (1963). Axiomatization of the infinite-valued predicate calculus. Journal of Symbolic Logic, 28, 77–86.