Pages that link to "Item:Q2233409"
From MaRDI portal
The following pages link to Focused proof-search in the logic of bunched implications (Q2233409):
Displaying 4 items.
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
