Re: Richard J. Lipton • Logical Complexity Of Proofs
Three examples of propositional proofs in logical graphs using equational inference rules can be found at the following location.
Animated proofs of the three examples, along with links to detailed descriptions, are shown below.
Resources
- Logic Syllabus
- Logical Graphs
- Cactus Language
- Futures Of Logical Graphs
- Minimal Negation Operators
- Survey of Theme One Program
- Survey of Animated Logical Graphs
- Propositional Equation Reasoning Systems
Applications
- Applications of a Propositional Calculator • Constraint Satisfaction Problems
- Exploratory Qualitative Analysis of Sequential Observation Data
cc: Cybernetics • Ontolog • Peirce (1) (2) (3) (4) (5) (6) • Structural Modeling • Systems
Inquiry Into Inquiry 
Pingback: Survey of Animated Logical Graphs • 3 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 39 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 40 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 41 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 42 | Inquiry Into Inquiry
Pingback: Sign Relations, Triadic Relations, Relation Theory • Discussion 2 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 5 | Inquiry Into Inquiry