1. Strict MV-algebras;Ambrosio;J. Math. Anal. Appl.,1999
2. α-Complete MV-algebras;Belluce,1995
3. Some properties of residuated lattices;Bělohlávek;Czechoslov. Math. J.,2003
4. Algebraic analysis of many-valued logics;Chang;Trans. Am. Math. Soc.,1958
5. A new proof of the completeness of the Łukasiewicz axioms;Chang;Trans. Am. Math. Soc.,1959