The following pages link to (Q4273432):
Displaying 10 items.
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← 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)
- Models for the Lambek calculus (Q1899151) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic λ-Calculus (Q3608816) (← links)
- Completeness Results for Lambek Syntactic Calculus (Q3724306) (← links)
- A Labelled Deductive System for Relational Semantics of the Lambek Calculus (Q4238425) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation (Q4981253) (← links)
- Programming Languages and Systems (Q5308686) (← links)