The Logic of Bunched Implications
From MaRDI portal
Publication:4262604
Recommendations
Cites work
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 194975 (Why is no real title available?)
- scientific article; zbMATH DE number 823607 (Why is no real title available?)
- scientific article; zbMATH DE number 970828 (Why is no real title available?)
- A Uniform Proof-theoretic Investigation of Linear Logic Programming
- A logical analysis of modules in logic programming
- A relevant analysis of natural deduction
- Computational interpretations of linear logic
- Logic programming in a fragment of intuitionistic linear logic
- On the unity of logic
- The linear abstract machine
- Uniform proofs as a foundation for logic programming
Cited in
(only showing first 100 items - show all)- Internal and external calculi: ordering the jungle without being lost in translations
- Proof tactics for assertions in separation logic
- Lewis meets Brouwer: constructive strict implication
- Semiconic idempotent logic. II: Beth definability and deductive interpolation
- scientific article; zbMATH DE number 2090291 (Why is no real title available?)
- Algebra and logic for resource-based systems modelling
- An adaptation-complete proof system for local reasoning about cloud storage systems
- A unified display proof theory for bunched logic
- Completeness for a first-order abstract separation logic
- Coalgebraic completeness-via-canonicity for distributive substructural logics
- Bunched logics displayed
- Some modal and temporal translations of generalized basic logic
- Defining logical systems via algebraic constraints on proofs
- An epistemic separation logic with action models
- scientific article; zbMATH DE number 6970800 (Why is no real title available?)
- Proof-search in type-theoretic languages: An introduction
- Local reasoning about data update
- Manipulating trees with hidden labels
- Bunched Fuzz: sensitivity for vector metrics
- Semiconic idempotent logic. I: Structure and local deduction theorems.
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- Testing the satisfiability of formulas in separation logic with permissions
- The virtues of idleness: a decidable fragment of resource agent logic
- A comparison between monoidal and substructural logics
- The quantum monadology
- On bunched typing
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
- Normal proofs, cut free derivations and structural rules
- Bunched polymorphism
- scientific article; zbMATH DE number 1765675 (Why is no real title available?)
- Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding
- A Games Model of Bunched Implications
- Nested Hoare Triples and Frame Rules for Higher-Order Store
- Term sequent logic
- Unary-determined distributive -magmas and bunched implication algebras
- A spatial logic for concurrency. I
- Automated theorem proving for assertions in separation logic with all connectives
- Linear resources in Isabelle/HOL
- Bunched sequential information
- Adjunct elimination in context logic for trees
- A spatial logic for concurrency. II
- scientific article; zbMATH DE number 7204444 (Why is no real title available?)
- BI as an assertion language for mutable data structures
- scientific article; zbMATH DE number 7204446 (Why is no real title available?)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- Temporal BI: proof system, semantics and translations
- Focused proof-search in the logic of bunched implications
- Expressiveness results for an inductive logic of separated relations
- Algebra and logic for access control
- A framework for substructural type systems
- Separation Logic Contracts for a Java-Like Language with Fork/Join
- Truth-values as labels: a general recipe for labelled deduction
- Join-completions of partially ordered algebras
- On the relation between concurrent separation logic and concurrent Kleene algebra
- Separation logics and modalities: a survey
- The essence of higher-order concurrent separation logic
- Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
- Disjunction property and complexity of substructural logics
- A calculus and logic of resources and processes
- A robust graph-based approach to observational equivalence
- A semantics for concurrent separation logic
- Intuitionistic layered graph logic
- Stone-type dualities for separation logics
- Bringing Order to the Separation Logic Jungle
- A substructural epistemic resource logic
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Convolution as a Unifying Concept
- A complete axiomatisation for quantifier-free separation logic
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning
- A logic of separating modalities
- Abstract hidden Markov models: a monadic account of quantitative information flow
- Matching logic: an alternative to Hoare/Floyd logic
- Developments in concurrent Kleene algebra
- Iris from the ground up: a modular foundation for higher-order concurrent separation logic
- From IF to BI. A tale of dependence and separation
- Resources, concurrency, and local reasoning
- Counting the cost in the picalculus (extended abstract)
- Separation logic and logics with team semantics
- On temporal and separation logics
- Completeness of Nominal PROPs
- Entailment checking in separation logic with inductive definitions is 2-ExpTime hard
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Maude as a platform for designing and implementing deep inference systems
- A perspective on specifying and verifying concurrent modules
- Decision problems in a logic for reasoning about reconfigurable distributed systems
- Semantical analysis of the logic of bunched implications
- Relational patterns, partiality, and set lifting in modal semantics
- A stone-type duality theorem for separation logic via its underlying bunched logics
- Uniqueness logic
- An EXPTIME-complete entailment problem in separation logic
- Day algebras
- A coordination approach to mobile components
- Footprints in Local Reasoning
- Failure of cut-elimination in cyclic-proof systems of logic of bunched implications with inductive propositions
- On Model Checking Boolean BI
- Undecidability of propositional separation logic and its neighbours
- Model checking mobile ambients
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
- Completeness and Herbrand theorems for nominal logic
This page was built for publication: The Logic of Bunched Implications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4262604)
