formal-logic
Here are 22 public repositories matching this topic...
The Principia Rewrite
-
Updated
May 18, 2024 - TeX
🌌 Supplementary materials for Discrete Math course at ITMO University
-
Updated
May 15, 2024 - TeX
Python library for computational formal logic, formal semantics, and theorem proving
-
Updated
Apr 26, 2024 - Python
Interpreter for the Datalog Programming Language. Lexer > Parser > Interpreter
-
Updated
Apr 9, 2024 - C++
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
-
Updated
Jun 11, 2023 - C++
Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020
-
Updated
Apr 5, 2023
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
-
Updated
Jan 26, 2023 - HTML
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.
-
Updated
Oct 11, 2022 - Python
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.
-
Updated
Aug 19, 2022 - Java
Project that generates step-by-step truth tables from a logic formula. Built with ReactJS.
-
Updated
Aug 15, 2022 - JavaScript
Script that evaluates the validity of the logical argument through analyzing premises and conclusions.
-
Updated
Feb 21, 2022 - Python
Leaving the cave: an introduction to mathematical thinking.
-
Updated
Oct 2, 2021 - TeX
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
-
Updated
Jun 20, 2021 - Java
🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM
-
Updated
Mar 23, 2021 - TeX
A C# app for a production model, completed as a part of Formal Logic course, 2nd year of study, MMCS SFEDU
-
Updated
Nov 6, 2020 - C#
Repositório para aplicar os conhecimentos adquiridos no estudo da lógica em conjunto a programação.
-
Updated
Oct 15, 2020 - Python
➡️Formal logic deduction based on system-L
-
Updated
Apr 27, 2020 - Python
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).
-
Updated
Jun 6, 2019 - Python
A Python package for deal with logical formulas and formal systems (e.g. FOL)
-
Updated
Aug 31, 2018 - Python
Improve this page
Add a description, image, and links to the formal-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-logic topic, visit your repo's landing page and select "manage topics."