propositional-calculus
There are 25 repositories under propositional-calculus topic.
ryukinix/lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
xamidi/pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
hjbolus/Mathematical-Logic-Through-Python
Python scripts that provide 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
joedougherty/sentential
An interpreter for sentential logic (propositional calculus) written in Python. Includes a resolution-based automated theorem prover.
xamidi/mmsolitaire
My contributions to Metamath's mmsolitaire project.
archanpatkar/Logico
An Expression Oriented Language with non-strict semantics based on Propositional Calculus and compatible with WFF
fedefloris/Expert-system
A propositional calculus expert system.
plazajan/Propositional-Resolution
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
TimMerker/AutomatedReasoning
In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.
arielcavalcante/calculadora-logica-proposicional
Pequeno projeto de uma "calculadora" de lógica proposicional.
cjsmeele/properst
A Propositional Logic REPL
cepalle/expert-system
Expert System for Propositional Logic calculus
Cubix1729/logicalpy
A Python library providing basic functionalities for manipulating propositional logic
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#.
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!
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.
raulpy271/ValidationMethods
🧮 validation methods of propositional logic
dfinnis/Expert_system
An expert system for propositional calculus
diegorlb/Logical
An implementation of the Shunting Yard algorithm to parse and evaluate Propositional Calculus expressions
fgarcia0x0/pll
The PLL(Propositional Logic Library) is a library which offers a lexical and syntactic analyzer for propositional predicate analysis
javpelle/PropositionalCalculus
A basic program which can operate some propositional formulas written in Haskell
mboy29/ExpertSystem_42
Expert system in proposal calculation that can reason on a set of rules and initial facts to deduce other facts.
megalemarcelo/fortran_fatec_md_tabela-verdade
Programas para construção de tabelas-verdade com duas e três variáveis em Fortran.
jmcheon/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.