Much of the work I do on the C.S. Peirce/Spencer Brown approach to “mathematical hypostases underlying logic” now goes under the heading of Animated Logical Graphs.  There’s a Survey of related resources I update from time to time at the following location.

• Survey of Animated Logical Graphs

Resources

• Logic Syllabus • Ampheck
• Logical Graphs • One • Two
• Propositions As Types Analogy
• Propositional Equation Reasoning Systems
• Survey of Abduction, Deduction, Induction, Analogy, Inquiry

cc: Cybernetics (1) (2) • Laws of Form • FB | Logical Graphs • Ontolog Forum (1) (2)
• Peirce List (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) • Structural Modeling (1) (2)
• Systems Science (1) (2)