1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
Semantical Analysis of the Logic of Bunched Implications
Alexander V. Gheorghiu, David J. Pym
We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of…
cs.LO2020
Focused Proof-search in the Logic of Bunched Implications
Alexander Gheorghiu, Sonia Marin
The logic of Bunched Implications (BI) freely combines additive and multiplicative connectives, including implications; however, despite its well-studied proof theory, proof-search…