Interpolation and FEP for logics of residuated algebras
From MaRDI portal
Publication:2885171
DOI10.1093/JIGPAL/JZP094zbMath1259.03085OpenAlexW1996712532MaRDI QIDQ2885171
Publication date: 21 May 2012
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.718.5944
interpolationsubstructural logicssequent systemsfinite embeddability propertyresiduated algebrageneralized Lambek calculus
Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (17)
The Lambek calculus extended with intuitionistic propositional logic ⋮ Decidability in Pre-rough Algebras: Extended Abstract ⋮ On involutive nonassociative Lambek calculus ⋮ Complexity of the universal theory of residuated ordered groupoids ⋮ On Classical Nonassociative Lambek Calculus ⋮ Relational semantics of the Lambek calculus extended with classical propositional logic ⋮ Residuated frames with applications to decidability ⋮ Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability ⋮ On Residuation ⋮ Multi-Sorted Residuation ⋮ On Canonical Embeddings of Residuated Groupoids ⋮ Join-completions of partially ordered algebras ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ On the Complexity of the Equational Theory of Residuated Boolean Algebras ⋮ DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics ⋮ Extensions of Lambek Calculi
This page was built for publication: Interpolation and FEP for logics of residuated algebras
