ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

Language: Common Lisp - Size: 169 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 46 - Forks: 1

hjbolus/Mathematical-Logic-Through-Python

Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski

Language: Python - Size: 538 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 7 - Forks: 3

xamidi/pmGenerator

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

Language: C++ - Size: 45.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 21 - Forks: 3

Cubix1729/logicalpy

A Python library providing basic functionalities for manipulating propositional logic

Language: Python - Size: 1.07 MB - Last synced at: 20 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

xamidi/mmsolitaire

My contributions to Metamath's mmsolitaire project.

Size: 687 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 5 - Forks: 0

mboy29/ExpertSystem_42

Expert system in proposal calculation that can reason on a set of rules and initial facts to deduce other facts.

Language: Python - Size: 113 KB - Last synced at: 5 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

plazajan/Propositional-Resolution

Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.

Language: Prolog - Size: 110 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

DevAlencar/desafioLogica

Language: Java - Size: 30.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

cjsmeele/properst

A Propositional Logic REPL

Language: Haskell - Size: 19.5 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

jmcheon/expert_system Fork of sungyongcho/expert-system

This project involves creating, an expert system in proposal calculation. In other words, a program that can reason on a set of rules and initial facts to deduce other facts.

Language: Python - Size: 1.61 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

fedefloris/Expert-system

A propositional calculus expert system.

Language: Python - Size: 1.38 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

KrazyManJ/vyrologic

🧠💡 Web app to calculate everything related to propositional-calculus. Made for myself to pass TZI subject at Mendel University, but shared for everyone else for free to use it as well!

Language: TypeScript - Size: 66.4 KB - Last synced at: over 1 year ago - Pushed at: over 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: almost 3 years ago - Stars: 2 - Forks: 1

diegorlb/Logical

An implementation of the Shunting Yard algorithm to parse and evaluate Propositional Calculus expressions

Language: TypeScript - Size: 15.6 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

DerEasy/Propositional-Calculator

Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.

Language: C# - Size: 7.04 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

cepalle/expert-system 📦

Expert System for Propositional Logic calculus

Language: Clojure - Size: 112 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

arielcavalcante/calculadora-logica-proposicional

Pequeno projeto de uma "calculadora" de lógica proposicional.

Language: CSS - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

raulpy271/ValidationMethods

🧮 validation methods of propositional logic

Language: Haskell - Size: 163 KB - Last synced at: 20 days ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

joedougherty/sentential

An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.

Language: Python - Size: 181 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0

fgarcia0x0/pll

The PLL(Propositional Logic Library) is a library which offers a lexical and syntactic analyzer for propositional predicate analysis

Language: C++ - Size: 54.7 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

dfinnis/Expert_system

An expert system for propositional calculus

Language: Python - Size: 31.9 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

archanpatkar/Logico

An Expression Oriented Language with non-strict semantics based on Propositional Calculus and compatible with WFF

Language: JavaScript - Size: 93.8 KB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 0

javpelle/PropositionalCalculus

A basic program which can operate some propositional formulas written in Haskell

Language: Haskell - Size: 109 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0