On finite models of the Lambek calculus

DOI10.1007/s11225-005-6776-4zbMath1092.03011OpenAlexW2062909262MaRDI QIDQ813074

Maciej Farulewski

Publication date: 30 January 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-6776-4

zbMATH Keywords

Lambek calculussubstructural logicsfinite model property

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (max. 100)

Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus ⋮ On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras ⋮ On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results

Cites Work

• The finite model property for BCK and BCIW
• The finite model property for BCI and related systems
• Finite Models of Some Substructural Logics
• The Mathematics of Sentence Structure
• A Completeness Theorem for the Lambek Calculus of Syntactic Categories
• Some Decision Problems in the Theory of Syntactic Categories
• The finite model property for various fragments of intuitionistic linear logic
• The finite model property for various fragments of linear logic

This page was built for publication: On finite models of the Lambek calculus