AbstractWe present ‘Ribbon Proofs’, a graphical proof system for the Logic of Bunched Implications (BI). We give the informal, graphical, notation, we formalise the system algebraically and sketch the proof of its soundness and completeness. We discuss the spatial and geometrical nature of the proof system and its relation to BI's spatial model theory
We present a labelled sequent calculus for Boolean bunched implications (BBI), a classical variant o...
We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-l...
© 2006 Benjamin Robert Horsfall.This is a study of the semantics and proof theory of the logic of bu...
AbstractWe present ‘Ribbon Proofs’, a graphical proof system for the Logic of Bunched Implications (...
Submitted for the degree of Doctor of Philosophy, Queen Mary, University of London
AbstractWe formulate a unified display calculus proof theory for the four principal varieties of bun...
International audienceWe introduce a topologically-aware version of tensorial logic, called ribbon t...
AbstractWe introduce the logic of bunched implications, BI, in which multiplicative (or linear) and ...
The logic of Bunched Implications, through its intuitionistic version (BI) as well as one of its cla...
We give a display calculus proof system for Boolean BI (BBI) based on Belnap’s general display logic...
We consider the classical (propositional) version, CBI, of O’Hearn and Pym’s logic of bunched implic...
Colloque sur invitation. internationale.International audienceWe study proof-search in mixed logics ...
AbstractThe logic of bunched implications, BI, is a substructural system which freely combines an ad...
The Logic of Bunched Implications (BI) was introduced by O'Hearn and Pym. The original presentation ...
This is a study of the semantics and proof theory of the logic of bunched implications (BI), which i...
We present a labelled sequent calculus for Boolean bunched implications (BBI), a classical variant o...
We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-l...
© 2006 Benjamin Robert Horsfall.This is a study of the semantics and proof theory of the logic of bu...
AbstractWe present ‘Ribbon Proofs’, a graphical proof system for the Logic of Bunched Implications (...
Submitted for the degree of Doctor of Philosophy, Queen Mary, University of London
AbstractWe formulate a unified display calculus proof theory for the four principal varieties of bun...
International audienceWe introduce a topologically-aware version of tensorial logic, called ribbon t...
AbstractWe introduce the logic of bunched implications, BI, in which multiplicative (or linear) and ...
The logic of Bunched Implications, through its intuitionistic version (BI) as well as one of its cla...
We give a display calculus proof system for Boolean BI (BBI) based on Belnap’s general display logic...
We consider the classical (propositional) version, CBI, of O’Hearn and Pym’s logic of bunched implic...
Colloque sur invitation. internationale.International audienceWe study proof-search in mixed logics ...
AbstractThe logic of bunched implications, BI, is a substructural system which freely combines an ad...
The Logic of Bunched Implications (BI) was introduced by O'Hearn and Pym. The original presentation ...
This is a study of the semantics and proof theory of the logic of bunched implications (BI), which i...
We present a labelled sequent calculus for Boolean bunched implications (BBI), a classical variant o...
We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-l...
© 2006 Benjamin Robert Horsfall.This is a study of the semantics and proof theory of the logic of bu...
DOI
Add to ORKG