Pages that link to "Item:Q2233409"

The following pages link to Focused proof-search in the logic of bunched implications (Q2233409):

Displaying 3 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)