Pages that link to "Item:Q1337609"
From MaRDI portal
The following pages link to Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609):
Displaying 6 items.
- Relational semantics for full linear logic (Q280840) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Multimodal linguistic inference (Q1923840) (← links)
- Pretopology semantics for bimodal intuitionistic linear logic (Q4340929) (← links)
- Relational proof system for linear and other substructural logics (Q4357322) (← links)
- Categorial graphs (Q5055898) (← links)