DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Bunched logic
Bunched logic
Stone-Type Dualities for Separation Logics
A Bunched Logic for Conditional Independence
A Constructive Approach to the Resource Semantics of Substructural Logics
CLASSICAL BI: ITS SEMANTICS and PROOF THEORY 1. Introduction
Bunched Logics Displayed
Focused Proof-Search in the Logic of Bunched Implications⋆
Bunched Logics a Uniform Approach
Sub-Classical Boolean Bunched Logics and the Meaning of Par
Arxiv:1709.07063V2 [Cs.LO] 25 Sep 2018 Umte Etme 07 Cetdvrinpeae O Pu for Prepared Version Accepted 2017
Bunched Logics Displayed
Focused Proof-Search in the Logic of Bunched Implications 3 Must Be Made: to Eliminate/Constrain These Rules, Or to Permit Them Without Restriction
Algorithmic Correspondence for Relevance Logics, Bunched
Context Logic and Tree Update
A Stone-Type Duality Theorem for Separation Logic Via Its Underlying Bunched Logics
Introduction
1 Non-Deterministic Semantics and the Undecidability of Boolean BI
From Categorical Logic to Facebook Engineering
A Unified Display Proof Theory for Bunched Logic
Top View
The Inverse Method for the Logic of Bunched Implications
A Primer on Separation Logic (And Automatic Program Verification and Analysis)
A Games Semantics for Reductive Logic and Proof-Search
Linear Logic
Proceedings of the Workshop on Intuitionistic Modal Logic
The Logical Approach to Stack Typing∗