Distributive full Lambek calculus has the finite model property
From MaRDI portal
Publication:1015484
DOI10.1007/s11225-009-9172-7zbMath1183.03021OpenAlexW2048656560MaRDI QIDQ1015484
Publication date: 8 May 2009
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-009-9172-7
Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
The Lambek calculus extended with intuitionistic propositional logic, Language models for some extensions of the Lambek calculus, Distributive residuated frames and generalized bunched implication algebras, An algebraic glimpse at bunched implications and separation logic, Varieties of De Morgan monoids: minimality and irreducible algebras, Multi-Sorted Residuation, Some Syntactic Interpretations in Different Systems of Full Lambek Calculus, Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids, The finite model property for semilinear substructural logics, Extensions of Lambek Calculi
Cites Work
- Unnamed Item
- Residuated lattices. An algebraic glimpse at substructural logics
- \(TW_+\) and \(RW_+\) are decidable
- Adding involution to residuated structures
- Algebraic aspects of cut elimination
- Gentzenization and decidability of some contraction-less relevant logics
- Nonassociative Lambek Calculus with Additives and Context-Free Languages
- The finite model property for various fragments of intuitionistic linear logic