Semantical analysis of the logic of bunched implications

DOI10.1007/s11225-022-10028-zarXiv2210.05348MaRDI QIDQ6115849

Alexander V. Gheorghiu, David J. Pym

Publication date: 10 August 2023

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2210.05348

zbMATH Keywords

model theoryproof theorysemanticslogicbunched logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof analysis in modal logic
• Modular tableaux calculi for separation theories
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Bunched logics displayed
• A stone-type duality theorem for separation logic via its underlying bunched logics
• Relating labelled and label-free bunched calculi in BI logic
• Focused proof-search in the logic of bunched implications
• The semantics and proof theory of the logic of bunched implications
• Linear resolution with selection function
• Intuitionistic Layered Graph Logic
• Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
• Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
• The semantics of BI and resource tableaux
• The use of machines to assist in rigorous proof
• The Logic of Bunched Implications
• Bringing Order to the Separation Logic Jungle
• Semantics for relevant logics
• Open Problems in Proof-Theoretic Semantics

This page was built for publication: Semantical analysis of the logic of bunched implications