Tag: Logic
- June 11, 2024 Inference Rules in Peirce's Alpha Existential Graphs (Part 2)
- April 11, 2024 Formalizing The Singularizing Properties Problem
- March 29, 2024 The Law of Excluded Middle Does Not Imply the Axiom of Choice
- January 4, 2024 Worldbuilding Formal and Aesthetic Magic Systems: A Logicist Mage’s Manifesto
- October 30, 2023 Inference Rules in Peirce's Alpha Existential Graphs (Part 1)
- October 3, 2023 A First Look at a Formal Notion for AEG Subgraphs
- August 20, 2023 Basic Properties of Peirce's Alpha Existential Graphs
- July 31, 2023 Propositional Logic in Peirce's Alpha Existential Graphs