GitHub topics: formal-logic
Lipen/discrete-math-course
:milky_way: Supplementary materials for Discrete Math course at ITMO University
Language: TeX - Size: 41.1 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 40 - Forks: 10
Cubix1729/logicalpy
A Python library providing basic functionalities for manipulating propositional logic
Language: Python - Size: 1.07 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 1 - Forks: 0
DigitalFormalLogic/mathesis
Python library for computational formal logic, formal semantics, and theorem proving
Language: Python - Size: 1.22 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 21 - Forks: 4
LogicalAtomist/principia
The Principia Rewrite
Language: TeX - Size: 12.1 MB - Last synced at: 22 days ago - Pushed at: 5 months ago - Stars: 222 - Forks: 5
AbstractionsLab/satrap-dl
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.
Language: Python - Size: 5.01 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
malikpiara/logicola
LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.
Language: TypeScript - Size: 1.09 MB - Last synced at: 2 days ago - Pushed at: about 2 months ago - Stars: 49 - Forks: 3
tonydroy/Symbolic-Logic-APPlication
SLAPP is an application for working exercises in symbolic logic.
Size: 156 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
krichelj/ALIO_BGU_2020
Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020
Size: 611 KB - Last synced at: 4 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
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).
Language: Python - Size: 267 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
jossmoff/buzzproof
🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM
Language: TeX - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
stas1f1/ProductionModel
A C# app for a production model, completed as a part of Formal Logic course, 2nd year of study, MMCS SFEDU
Language: C# - Size: 16.6 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
joshuacrotts/logic-learning-assistance-tool 📦
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
Language: Java - Size: 4.58 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 8 - Forks: 1
vedadux/nanoqbf
A minimal implementation of an expansion-based QBF solver which does not use recursion.
Language: C++ - Size: 228 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1
jakeevans00/datalog-interpreter
Interpreter for the Datalog Programming Language. Lexer > Parser > Interpreter
Language: C++ - Size: 50.8 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
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.
Language: Python - Size: 59.6 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
cister-labs/fvoca2223
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
Language: HTML - Size: 2.11 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
matthew-reid/axioma
Online tool for graphing entity relations, designed for use in the field of Analytic Theology.
Language: JavaScript - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1
DiegoEfu/react-truth-table
Project that generates step-by-step truth tables from a logic formula. Built with ReactJS.
Language: JavaScript - Size: 201 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
marcofavorito/pythogic 📦
A Python package for deal with logical formulas and formal systems (e.g. FOL)
Language: Python - Size: 660 KB - Last synced at: 9 months ago - Pushed at: almost 7 years ago - Stars: 5 - Forks: 0
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.
Language: Java - Size: 32.7 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1
deepblueore/Euclid
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
Language: C++ - Size: 273 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
heqin-zhu/system-L
:arrow_right:Formal logic deduction based on system-L
Language: Python - Size: 12.1 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 2
ahmedibrhm/Formal-Logic-argument-Script-Evaluator
Script that evaluates the validity of the logical argument through analyzing premises and conclusions.
Language: Python - Size: 3.91 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
GonzalezCastillo/leavingthecave
Leaving the cave: an introduction to mathematical thinking.
Language: TeX - Size: 131 KB - Last synced at: 11 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
