A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Ribbon Proofs
2003
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
We 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.
doi:10.1016/s1571-0661(03)50001-9
fatcat:jvp65swdwbb3lmpk5vio4jl2gm