Survey of Animated Logical Graphs • 8
This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.
Beginnings
- Logical Graphs • First Impressions
- Blog Series • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14)
- Logical Graphs • Formal Development
Elements
- Logic Syllabus
- Logical Graphs
- Cactus Language
- Minimal Negation Operators
- Propositional Equation Reasoning Systems
Examples
- Peirce’s Law
- Praeclarum Theorema
- Proof Animations
Blog Series
- Animated Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16) • (17) • (18) • (19) • (20) • (21) • (22) • (23) • (24) • (25) • (26) • (27) • (28) • (29) • (30) • (31) • (32) • (33) • (34) • (35) • (36) • (37) • (38) • (39) • (40) • (41) • (42) • (43) • (44) • (45) • (46) • (47) • (48) • (49) • (50) • (51) • (52) • (53) • (54) • (55) • (56) • (57) • (58) • (59) • (60) • (61) • (62) • (63) • (64) • (65) • (66) • (67) • (68) • (69) • (70) • (71) • (72) • (73) • (74) • (75) • (76) • (77) • (78) • (79) • (80) • (81)
- Cactus Language
Excursions
- Futures Of Logical Graphs
- Operator Variables in Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12)
- Interpretive Duality in Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8)
- Mathematical Duality in Logical Graphs • (1)
- Transformations of Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14)
- Discussions • (1)
Applications
- Applications of a Propositional Calculator • Constraint Satisfaction Problems
- Exploratory Qualitative Analysis of Sequential Observation Data
- Differential Analytic Turing Automata
- Survey of Theme One Program
Anamnesis
- CSP, GSB, & Me • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16)
cc: FB | Logical Graphs • Laws of Form • Mathstodon • Ontolog • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science
