Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL

From MaRDI portal
(Redirected from Publication:2433102)