Roberto Cignoli Antoni Torrens Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic. 361-370 2003 42 Arch. Math. Log. 4 http://dx.doi.org/10.1007/s001530200144 db/journals/aml/aml42.html#CignoliT03