Pages that link to "Item:Q3178253"
From MaRDI portal
The following pages link to A Unified Display Proof Theory for Bunched Logic (Q3178253):
Displaying 6 items.
- Proof tactics for assertions in separation logic (Q1687747) (← links)
- Bunched logics displayed (Q1935559) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- Monoidal logics: completeness and classical systems (Q5379321) (← links)
