Pages that link to "Item:Q1910723"
From MaRDI portal
The following pages link to Relations and non-commutative linear logic (Q1910723):
Displaying 6 items.
- Representation theorems for \(Q\)-algebras (Q666689) (← links)
- A representation theorem for quantales (Q1208239) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus (Q2964014) (← links)
