Pages that link to "Item:Q5351966"
From MaRDI portal
The following pages link to Sub-classical Boolean Bunched Logics and the Meaning of Par (Q5351966):
Displayed 5 items.
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
- Effect algebras, Girard quantales and complementation in separation logic (Q2695344) (← links)
- (Q3121529) (← links)
- (Q5376651) (← links)