Library and application for encoding non-classical logics into classical higher-order logic.
-
Updated
Nov 11, 2025 - Scala
#
non-classical-logics
Here are 4 public repositories matching this topic...
Trying to build logic & proof system library on TypeScript.
proof logic typescript-library propositional-logic formal-languages modal-logic intuitionistic-logic symbolic-logic predicate-logic classical-logic non-classical-logics analytic-philosophy
-
Updated
Aug 15, 2025 - TypeScript
Computational and conceptual exploration inspired by Epameinondas Xenopoulos' work *Epistemology of Logic* (1998, 2nd ed. 2024).Separates: • **Theoretical core** (logic/dialectic foundations). • **Exploratory simulations** (historical change). Examines contradiction, temporality for AI. Maintains clear theory–simulation separation.
genetic-algorithm logic genetic-programming genetic-algorithm-framework theory mathematical-modelling theory-of-computation mathematical mathematical-logic epistemology philosophy-of-science dialectics theory-of-probability formal-logic theory-of-mind piaget dialectic non-classical-logics mathematical-modelling-and-simulation ai-theory
-
Updated
Feb 17, 2026 - Jupyter Notebook
Improve this page
Add a description, image, and links to the non-classical-logics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the non-classical-logics topic, visit your repo's landing page and select "manage topics."