Pages that link to "Item:Q1910723"
From MaRDI portal
The following pages link to Relations and non-commutative linear logic (Q1910723):
Displaying 14 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)
- Relational model of second order linear logic (Q1598468) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
- Noncommutative linear logic and its quantale semantics (Q2774267) (← links)
- Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus (Q2964014) (← links)
- Quantales and (noncommutative) linear logic (Q3478401) (← links)
- Non‐commutative intuitionistic linear logic (Q3971583) (← links)
- (Q4263858) (← links)
- (Q4608683) (← links)
- On noncommutative extensions of linear logic (Q4972728) (← links)
- Linear Exponential Comonads without Symmetry (Q5014810) (← links)