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.

• Propositional Equation Reasoning Systems • Exemplary Proofs

Animated proofs of the three examples, along with links to detailed descriptions, are shown below.

• Peirce’s Law • This Blog • OEIS Wiki

• Praeclarum Theorema • This Blog • OEIS Wiki

• Two-Thirds Majority Function • (1) • (2) • (3)

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