The Principia Rewrite

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

🌌 Supplementary materials for Discrete Math course at ITMO University

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.

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

➡️Formal logic deduction based on system-L

Kripke semantics

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.

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

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.

Script that evaluates the validity of the logical argument through analyzing premises and conclusions.

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.

SATRAP-DL (Semi-Automated Threat Reconnaissance and Analysis Powered by Description Logics) aims at the development of a platform for interactive computer-aided analysis of cyber threat intelligence driven by logic-based automated reasoning and inference.

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

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

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

Leaving the cave: an introduction to mathematical thinking.