Stefano Aguzzoli Uniform Description of Calculi for All t-Norm Logics. 38-43 2004 conf/ismvl/2004 ISMVL http://csdl.computer.org/comp/proceedings/ismvl/2004/2130/00/21300038abs.htm db/conf/ismvl/ismvl2004.html#Aguzzoli04