The Principia Rewrite
-
Updated
May 18, 2024 - TeX
The Principia Rewrite
🌌 Supplementary materials for Discrete Math course at ITMO University
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
Python library for computational formal logic, formal semantics, and theorem proving
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.
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
Script that evaluates the validity of the logical argument through analyzing premises and conclusions.
Project that generates step-by-step truth tables from a logic formula. Built with ReactJS.
Interpreter for the Datalog Programming Language. Lexer > Parser > Interpreter
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.
Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020
Leaving the cave: an introduction to mathematical thinking.
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).
Add a description, image, and links to the formal-logic topic page so that developers can more easily learn about it.
To associate your repository with the formal-logic topic, visit your repo's landing page and select "manage topics."