Pages that link to "Item:Q4645752"
From MaRDI portal
The following pages link to A uniform framework for substructural logics with modalities (Q4645752):
Displaying 7 items.
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)
