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]

Authors

Nikolaos Galatos

This author has not been identified. Look up 'Nikolaos Galatos' in Google

Hiroakira Ono

This author has not been identified. Look up 'Hiroakira Ono' in Google