Distributive full Lambek calculus has the finite model property

DOI10.1007/S11225-009-9172-7zbMATH Open1183.03021OpenAlexW2048656560MaRDI QIDQ1015484FDOQ1015484

Authors: 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

Recommendations

• On finite models of the Lambek calculus
• On the completeness of Lambek calculus with respect to cofinite language models
• Finite models of some substructural logics
• Cyclic Involutive Distributive Full Lambek Calculus is Decidable
• Distributive residuated frames and generalized bunched implication algebras

zbMATH Keywords

decidabilitynucleusresiduated latticedistributive latticefinite model propertyfull Lambek calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05)

Cites Work

• \(TW_+\) and \(RW_+\) are decidable
• Residuated lattices. An algebraic glimpse at substructural logics
• Adding involution to residuated structures
• The finite model property for various fragments of intuitionistic linear logic
• Title not available (Why is that?)
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• Gentzenization and decidability of some contraction-less relevant logics
• Algebraic aspects of cut elimination

Cited In (11)

• The finite model property for semilinear substructural logics
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Multi-sorted residuation
• Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
• Extensions of Lambek calculi
• The Lambek calculus extended with intuitionistic propositional logic
• An algebraic glimpse at bunched implications and separation logic
• Language models for some extensions of the Lambek calculus
• Some syntactic interpretations in different systems of full Lambek calculus
• Cyclic Involutive Distributive Full Lambek Calculus is Decidable
• Distributive residuated frames and generalized bunched implication algebras

This page was built for publication: Distributive full Lambek calculus has the finite model property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1015484)