The following pages link to The Logic of Bunched Implications (Q4262604):
Displaying 6 items.
- Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
- Proof-theoretic semantics for intuitionistic multiplicative linear logic (Q6541162) (← links)
- Testing the satisfiability of formulas in separation logic with permissions (Q6541165) (← links)
- Linear resources in Isabelle/HOL (Q6552504) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
- Semiconic idempotent logic. II: Beth definability and deductive interpolation (Q6658080) (← links)