Joel Berman Willem J. Blok Free Lukasiewicz and Hoop Residuation Algebras. 153-180 2004 77 Studia Logica 2 http://dx.doi.org/10.1023/B:STUD.0000037125.49866.50 db/journals/sLogica/sLogica77.html#BermanB04