Pages that link to "Item:Q3575307"
From MaRDI portal
The following pages link to Classical BI: Its Semantics and Proof Theory (Q3575307):
Displaying 19 items.
- Bunched sequential information (Q266883) (← links)
- Ribbon proofs (Q276462) (← links)
- Effect algebras, presheaves, non-locality and contextuality (Q1641007) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← 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)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← 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)
- The Logic of Bunched Implications (Q4262604) (← links)
- (Q4305491) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- Classical BI (Q5261530) (← links)
- (Q5376651) (← links)