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 11 hours ago - Pushed at: about 13 hours ago - Stars: 1 - Forks: 0

Lipen/discrete-math-course

:milky_way: Supplementary materials for Discrete Math course at ITMO University

Language: TeX - Size: 36.4 MB - Last synced at: about 24 hours ago - Pushed at: 1 day ago - Stars: 36 - Forks: 8

Cubix1729/logicalpy

A small Python library providing basic functionalities for manipulating propositional logic

Language: Python - Size: 696 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

ozekik/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

Language: Python - Size: 1.18 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 21 - Forks: 3

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: 3 days ago - Pushed at: 9 days ago - Stars: 49 - Forks: 3

LogicalAtomist/principia

The Principia Rewrite

Language: TeX - Size: 12.1 MB - Last synced at: 19 days ago - Pushed at: 3 months ago - Stars: 214 - Forks: 5

ewdlop/Logic-Note

Language: Python - Size: 74.2 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

tonydroy/Symbolic-Logic-APPlication

SLAPP is an application for working exercises in symbolic logic.

Size: 156 KB - Last synced at: 4 months ago - Pushed at: 4 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: about 2 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: 12 months ago - Pushed at: almost 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: 12 months 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: 12 months 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: over 6 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: over 1 year 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: over 1 year ago - Pushed at: about 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: over 4 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: 12 months ago - Pushed at: over 2 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: 7 months ago - Pushed at: over 6 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: over 1 year ago - Pushed at: over 2 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: almost 2 years ago - Pushed at: almost 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: almost 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: about 2 years ago - Pushed at: about 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: about 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0