Hiroki Takamura Every Free Biresiduated Lattice is Semisimple. 125-133 2003 37 Reports on Mathematical Logic http://www.iphils.uj.edu.pl/rml/rml-37/a-tak-37.htm db/journals/rml/rml37.html#Takamura03