Petr Cintula George Metcalfe Normal forms for fuzzy logics: a proof-theoretic approach. 347-363 2007 46 Arch. Math. Log. 5-6 http://dx.doi.org/10.1007/s00153-007-0033-7 db/journals/aml/aml46.html#CintulaM07