Pages that link to "Item:Q3575307"
From MaRDI portal
The following pages link to Classical BI: Its Semantics and Proof Theory (Q3575307):
Displaying 13 items.
- Effect algebras, presheaves, non-locality and contextuality (Q1641007) (← links)
- Bunched logics displayed (Q1935559) (← links)
- A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Effect algebras, Girard quantales and complementation in separation logic (Q2695344) (← links)
- (Q3121529) (← links)
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Effect Algebras, Presheaves, Non-locality and Contextuality (Q3449492) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- (Q5376651) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)