Nikolaos Galatos Hiroakira Ono Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL. 279-308 2006 83 Studia Logica 1-3 http://dx.doi.org/10.1007/s11225-006-8305-5 db/journals/sLogica/sLogica83.html#GalatosO06