Distributive full Lambek calculus has the finite model property

DOI10.1007/s11225-009-9172-7zbMath1183.03021OpenAlexW2048656560MaRDI QIDQ1015484

Michał Kozak

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

zbMATH Keywords

nucleusdecidabilitydistributive latticefinite model propertyresiduated latticefull Lambek calculus

Mathematics Subject Classification ID

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