On finite models of the Lambek calculus
From MaRDI portal
Publication:813074
DOI10.1007/s11225-005-6776-4zbMath1092.03011MaRDI QIDQ813074
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
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras, Language-theoretic and finite relation models for the (full) Lambek calculus, On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results, Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus
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