1. Aglianò P, Ferreirim IMA, Montagna F (2007) Basic hoops: an algebraic study of continuous t-norms. Stud Logica 87(1):73–98
2. Aglianò P, Montagna F (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181(2–3):105–129
3. Baaz M, Hájek P, Montagna F, Veith H (2002) Complexity of t-tautologies. Ann Pure Appl Log 113(1–3):3–11
4. Bezhanishvili N, Galatos N, Spada L (2015) Canonical formulas for k-potent commutative, integral, residuated lattices. arXiv:1509.07980
5. Běhounek L, Cintula P, Hájek P (2011) Introduction to mathematical fuzzy logic. In: Cintula P, Hájek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 1. College Publications, London, pp 1–101