Here’s a place where I explore different shapes of proofs in a propositional calculus deriving from the graphical systems of Charles S. Peirce and G. Spencer Brown.
I don’t know whether that helps any with but it does supply a lot of nice pictures to contemplate.
- Logical Graphs • One • Two
- Survey of Theme One Program
- Survey of Animated Logical Graphs
- Propositional Equation Reasoning Systems