Pages that link to "Item:Q2817944"
From MaRDI portal
The following pages link to Intuitionistic Layered Graph Logic (Q2817944):
Displaying 7 items.
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Intuitionistic Layered Graph Logic (Q2817944) (← links)
- (Q3121529) (← links)
- (Q4553286) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- (Q5376651) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
