Re: R.J. Lipton and K.W. Regan • Proof Checking
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
cc: Cybernetics • Ontolog • Peirce List (1) (2) (3) • Structural Modeling • Systems Science
Pingback: Survey of Animated Logical Graphs • 3 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 5 | Inquiry Into Inquiry