Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL

Nikolaos Galatos, Hiroakira Ono. Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL. Studia Logica, 83(1-3):279-308, 2006. [doi]

Abstract

Abstract is missing.