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
• Blog Series • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8)

Elements

• Logic Syllabus
• Logical Graphs
• Cactus Language
• Minimal Negation Operators
• Propositional Equation Reasoning Systems

Examples

• Double Negation • (1) • (2) • (3)

• Peirce’s Law
• This Blog • OEIS Wiki
• Blog Series • (1) • (2) • (3) • (4) • (5) • (6) • (7)
• Praeclarum Theorema
• This Blog • OEIS Wiki
• Blog Series • (1) • (2) • (3)
• Proof Animations

Blog Series

• Alpha Now, Omega Later • (1) • (2) • (3) • (4) • (5) • (6) • (7)

• 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
• Overview • (1) • (2) • (3) • (4)
• Preliminaries • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16) • (17)
• Syntax • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12)
• Generalities About Formal Grammars • (1) • (2) • (3)
• Stylistics • (1) • (2) • (3) • (4) • (5) • (6)
• Pragmatics • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16)
• Mechanics • (1) • (2) • (3) • (4) • (5)
• Semantics • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8)
• Discussions • (1) • (2) • (3)

• Logic Syllabus
• Discussions • (1) • (2)

• Logical Graphs
• Discussions • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11)

• Logical Graphs • Interpretive Duality • (1) • (2) • (3) • (4)

• Logical Graphs, Iconicity, Interpretation • (1) • (2)

• Logical Graphs, Truth Tables, Venn Diagrams • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9)

• Minimal Negation Operators • (1) • (2) • (3) • (4)
• Discussions • (1) • (2)

• Genus, Species, Pie Charts, Radio Buttons • (1)
• Discussions • (1) • (2) • (3) • (4) • (5)

Excursions

• Futures Of Logical Graphs
• Operator Variables in Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12)
• Discussions • (1) • (2)
• Interpretive Duality in Logical Graphs • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8)
• Mathematical Duality in Logical Graphs • (1)
• Discussions • (1) • (2)
• 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) • (17) • (18) • (19) • (20)

cc: FB | Logical Graphs • Laws of Form • Ma^thstodon • Ontolog • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

#amphecks, #animata, #boolean-algebra, #boolean-functions, #c-s-peirce, #cactus-graphs, #computational-complexity, #constraint-satisfaction-problems, #differential-logic, #equational-inference, #graph-theory, #group-theory, #laws-of-form, #logic, #logical-graphs, #mathematics, #minimal-negation-operators, #model-theory, #painted-cacti, #peirce, #proof-theory, #propositional-calculus, #propositional-equation-reasoning-systems, #spencer-brown, #theorem-proving, #visualization