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.

➡️Formal logic deduction based on system-L

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

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.

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

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

Implementation of a Forward-Planning Agent for Udacity's Artificial Intelligence Nanodegree (v3.0). This project is the solution for the notebook from the classroom (topic: Classical Planning).

Leaving the cave: an introduction to mathematical thinking.

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