propositional-calculus | Topic | Ecosyste.ms: Repos

Topic: "propositional-calculus"

ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

Language: Common Lisp - Size: 110 KB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 40 - Forks: 1

xamidi/pmGenerator

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

Language: C++ - Size: 46.6 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 21 - Forks: 3

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: 517 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 3

xamidi/mmsolitaire

My contributions to Metamath's mmsolitaire project.

Size: 687 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 5 - Forks: 0

fedefloris/Expert-system

A propositional calculus expert system.

Language: Python - Size: 1.38 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - 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: about 2 years ago - Pushed at: almost 6 years ago - Stars: 3 - 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: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - 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

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: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

arielcavalcante/calculadora-logica-proposicional

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

Language: CSS - Size: 6.84 KB - Last synced at: about 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: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

cepalle/expert-system 📦

Expert System for Propositional Logic calculus

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

cjsmeele/properst

A Propositional Logic REPL

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

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

ewdlop/Logic-Note

Language: Python - Size: 74.2 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 0 - 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: about 2 months ago - Pushed at: 4 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: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

DevAlencar/desafioLogica

Language: Java - Size: 30.3 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - 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: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0