lists.cs.uni-kassel.de
Sign In
Sign Up
Sign In
Sign Up
Manage this list
×
Keyboard Shortcuts
Thread View
j
: Next unread message
k
: Previous unread message
j a
: Jump to all threads
j l
: Jump to MailingList overview
2024
November
October
September
August
July
June
May
April
March
February
January
2023
December
November
October
September
August
July
June
May
April
March
February
January
2022
December
November
October
September
August
July
June
May
April
March
February
January
2021
December
November
October
List overview
Download
thread
[CG] Survey of Animated Logical Graphs
Jon Awbrey
5 Apr 2024
5 Apr '24
8:36 p.m.
Survey of Animated Logical Graphs • 7 •
https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs…
All, 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. Please follow the above link for the full set of resources. Articles and blog series on the core ideas are linked below. Beginnings — Logical Graphs • First Impressions •
https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/
Logical Graphs • Formal Development •
https://inquiryintoinquiry.com/2023/09/01/logical-graphs-formal-development…
Elements — Logic Syllabus •
https://oeis.org/wiki/Logic_Syllabus
Logical Graphs •
https://oeis.org/wiki/Logical_Graphs
Minimal Negation Operators •
https://oeis.org/wiki/Minimal_negation_operator
Propositional Equation Reasoning Systems •
https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems
Examples — Peirce's Law •
https://inquiryintoinquiry.com/2023/10/18/peirces-law-a/
•
https://oeis.org/wiki/Peirce%27s_law
Praeclarum Theorema •
https://inquiryintoinquiry.com/2023/10/05/praeclarum-theorema-a/
•
https://oeis.org/wiki/Logical_Graphs#Praeclarum_theorema
Proof Animations •
https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations
Excursions — Cactus Language •
https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Overview
Futures Of Logical Graphs •
https://oeis.org/wiki/Futures_Of_Logical_Graphs
Applications — Applications of a Propositional Calculator • Constraint Satisfaction Problems •
https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator…
Exploratory Qualitative Analysis of Sequential Observation Data •
https://oeis.org/wiki/User:Jon_Awbrey/Exploratory_Qualitative_Analysis_of_S…
Differential Analytic Turing Automata •
https://oeis.org/wiki/Differential_Analytic_Turing_Automata_%E2%80%A2_Overv…
Survey of Theme One Program •
https://inquiryintoinquiry.com/2024/02/26/survey-of-theme-one-program-6/
Regards, Jon cc:
https://www.academia.edu/community/5M7EPn
cc:
https://mathstodon.xyz/@Inquiry/112219679796101870
0
0
Reply
Back to the thread
Back to the list