Pages that link to "Item:Q813074"
From MaRDI portal
The following pages link to On finite models of the Lambek calculus (Q813074):
Displaying 11 items.
- Distributive full Lambek calculus has the finite model property (Q1015484) (← links)
- The Lambek calculus enriched with additional connectives (Q1314290) (← links)
- On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras (Q1699728) (← links)
- A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi (Q1825185) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- Finite models of some substructural logics (Q2776810) (← links)
- On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results (Q2835051) (← links)
- Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus (Q2964014) (← links)
- (Q4681365) (← links)
- Numeration Models of λ‐Calculus (Q4722039) (← links)
- Logical Aspects of Computational Linguistics (Q5706946) (← links)