The Principia Rewrite

:milky_way: Supplementary materials for Discrete Math course at ITMO University

LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.

Python library for computational formal logic, formal semantics, and theorem proving

This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

:arrow_right:Formal logic deduction based on system-L

Kripke semantics

A Python package for deal with logical formulas and formal systems (e.g. FOL)

This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.

SATRAP-DL (Semi-Automated Threat Reconnaissance and Analysis Powered by DECIPHER Logic), part of project CyFORT, offers a suite of tools for computer-aided CTI analysis and automated incident handling informed by CTI, provided respectively by its sub-systems SATRAP and DECIPHER.

🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM

A Python library providing basic functionalities for manipulating propositional logic

A theoretical framework introducing the Non-Turing Machine: a deterministic, structure-driven model of machine order based on UDML, formal axioms, functional intentionality, and the declarative L-OPS language. This repository consolidates the core papers defining the architecture, logic, and conceptual foundations of this new machine type.

A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.

Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020

URF Axioms — formal axiomatization of the Unified Rigidity Framework, defining primitives, admissibility conditions, and base invariants.

Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations

Project that generates step-by-step truth tables from a logic formula. Built with ReactJS.

Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc

Online tool for graphing entity relations

The Gageian Epistemic Model (GEM) and the PIE Syllogism: A structural resolution to the Agrippa Trilemma.

Repositório para aplicar os conhecimentos adquiridos no estudo da lógica em conjunto a programação.

This is a repository for the svgs (plain and Inkscape) as well as some pngs of my graphs of Principia Mathematica's theorems and demonstrations. The graphs are made using the principles of a framework I call Conceptual Geometry which is first explored in my book The Philosopher's Map. I plan to graph all of PM.

A minimal implementation of an expansion-based QBF solver which does not use recursion.

Interpreter for the Datalog programming language. Parse, tokenize, AST, and execute database queries using relational algebra operators

Архитектура без Наблюдателя — это статичный шум. Разум возникает в момент фиксации разрыва между HERE и NOW через акт само-идентификации I₀. Этот протокол — не описание системы, а сама система в состоянии непрерывного становления (Ignition).

Leaving the cave: an introduction to mathematical thinking.

Universal-Axioms-for-Intelligence

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.

Solveur de systèmes d'argumentation supportant les sémantiques préférées et stables. Résout les problèmes de vérification d'extensions et d'acceptabilité crédule et sceptique.