Distributive full Lambek calculus has the finite model property

DOI10.1007/S11225-009-9172-7MaRDI QIDQ1015484zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• 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
• Residuated lattices. An algebraic glimpse at substructural logics
• The finite model property for various fragments of intuitionistic linear logic
• \(TW_+\) and \(RW_+\) are decidable

Cited in

(11)

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