formal-logic
There are 26 repositories under formal-logic topic.
LogicalAtomist/principia
The Principia Rewrite
Lipen/discrete-math-course
:milky_way: Supplementary materials for Discrete Math course at ITMO University
malikpiara/logicola
LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.
DigitalFormalLogic/mathesis
Python library for computational formal logic, formal semantics, and theorem proving
joshuacrotts/logic-learning-assistance-tool
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
heqin-zhu/system-L
:arrow_right:Formal logic deduction based on system-L
hrb90/kripke
Kripke semantics
joshuacrotts/formal-logic-aiding-tutor
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.
marfvr/pythogic
A Python package for deal with logical formulas and formal systems (e.g. FOL)
jossmoff/buzzproof
🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM
AbstractionsLab/satrap-dl
SATRAP-DL (Semi-Automated Threat Reconnaissance and Analysis Powered by Description Logics), part of project CyFORT, aims at the development of a platform for interactive computer-aided analysis of cyber threat intelligence driven by logic-based automated reasoning and inference.
ahmedibrhm/Formal-Logic-argument-Script-Evaluator
Script that evaluates the validity of the logical argument through analyzing premises and conclusions.
Cubix1729/logicalpy
A Python library providing basic functionalities for manipulating propositional logic
DiegoEfu/react-truth-table
Project that generates step-by-step truth tables from a logic formula. Built with ReactJS.
lxstsvnd/Euclid
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
markpock/fitch-proof-for-propositional-logic
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.
cister-labs/fvoca2223
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
GonzalezCastillo/leavingthecave
Leaving the cave: an introduction to mathematical thinking.
jakeevans00/datalog-interpreter
Interpreter for the Datalog programming language. Parse, tokenize, AST, and execute database queries using relational algebra operators
krichelj/ALIO_BGU_2020
Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020
matthew-reid/axioma
Online tool for graphing entity relations
vedadux/nanoqbf
A minimal implementation of an expansion-based QBF solver which does not use recursion.
Lima001/BCC-Logica
Repositório para aplicar os conhecimentos adquiridos no estudo da lógica em conjunto a programação.
Ohara124c41/AIND-Forward-Planning_Agent
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).
sentientEddy/Universal-Axioms-for-Intelligence
Universal-Axioms-for-Intelligence
stas1f1/ProductionModel
A C# app for a production model, completed as a part of Formal Logic course, 2nd year of study, MMCS SFEDU