Formal systems of fuzzy logic and their fragments

Petr Cintula, Petr Hájek, Rostislav Horcík. Formal systems of fuzzy logic and their fragments. Annals of Pure and Applied Logic, 150(1-3):40-65, 2007. [doi]