GitHub topics: charles-sanders-peirce
RAIRLab/Peirce-My-Heart
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
Language: TypeScript - Size: 7.28 MB - Last synced at: 8 days ago - Pushed at: 7 months ago - Stars: 12 - Forks: 0
James-Oswald/PMH-Gamma
WIP Gamma Existential Graph Theorem Prover. RCOS Fall 2024 Project
Language: C++ - Size: 70.3 KB - Last synced at: 8 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
bertanimauro/Ranganathan_APUPA
subject heading and facet classification. Graph and tassonomy. Propositional calculus and boundary logic. Conceptual graph and PRECIS
Language: JavaScript - Size: 18 MB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
RAIRLab/EG-Theorem-Proving-in-PMH
(Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH
Size: 1.06 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0