Interpolation and FEP for logics of residuated algebras
From MaRDI portal
Publication:2885171
DOI10.1093/jigpal/jzp094zbMath1259.03085MaRDI 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
interpolation; substructural logics; sequent systems; finite embeddability property; residuated algebra; generalized Lambek calculus
03G25: Other algebras related to logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Residuated frames with applications to decidability, Extensions of Lambek Calculi, Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability, Some Syntactic Interpretations in Different Systems of Full Lambek Calculus, On Residuation, Multi-Sorted Residuation, On Canonical Embeddings of Residuated Groupoids, Decidability in Pre-rough Algebras: Extended Abstract, Complexity of the universal theory of residuated ordered groupoids, The Lambek calculus extended with intuitionistic propositional logic, Relational semantics of the Lambek calculus extended with classical propositional logic, Join-completions of partially ordered algebras, A proof-theoretic approach to negative translations in intuitionistic tense logics, On involutive nonassociative Lambek calculus, On the Complexity of the Equational Theory of Residuated Boolean Algebras, On Classical Nonassociative Lambek Calculus, DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS