This is one of several Survey posts I’ll be drafting from time to time, starting with minimal stubs and collecting links to the better variations on persistent themes I’ve worked on over the years.  After that I’ll look to organizing and revising the assembled material with an eye toward developing more polished articles.

Beginnings

• Logical Graphs • Introduction
• Logical Graphs • Formal Development

Elements

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

Examples

• Peirce’s Law
• This Blog • OEIS Wiki
• Praeclarum Theorema
• This Blog • OEIS Wiki
• Proof Animations

Excursions

• Cactus Language
• Futures Of Logical Graphs

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

Blog Dialogs

• 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)
• Logical Graphs, Truth Tables, Venn Diagrams • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8)

• (9)

Anamnesis

• CSP, GSB, & Me • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15)