Pages that link to "Item:Q2398205"
From MaRDI portal
The following pages link to Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205):
Displaying 11 items.
- On finite models of the Lambek calculus (Q813074) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- On the completeness of the Lambek calculus with respect to relativized relational semantics (Q1337611) (← links)
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- A Lambek Automaton (Q3424117) (← links)
- (Q3839979) (← links)
- Relational semantics and a relational proof system for full Lambek calculus (Q4212926) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
- Non-distributive description logic (Q6541145) (← links)