Franco Montagna On the predicate logics of continuous t-norm BL-algebras. 97-114 2005 44 Arch. Math. Log. 1 http://dx.doi.org/10.1007/s00153-004-0231-5 db/journals/aml/aml44.html#Montagna05