propositional-resolution
There are 10 repositories under propositional-resolution topic.
georgejkaye/theorem-prover
A simple theorem prover made for a university programming assignment
marcluque/YASER
Yet Another Sat solvER
Cheng-Lin-Li/AI
This repository for implementations of Artificial intelligence algorithms
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.
guiIher-me/propositional-logic-interpreter
A Propositional Logic Interpreter written in Node.js
mihai-bontea/Propositional-Logic-Solver
Performs normal form conversions of propositional formulas through the use of syntax trees, and provides 3 sat-solver algorithms with verifiable step-by-step output.
jonaac/Propositional-Resolution
Implementation of the resolution rule for Propo- sitional Logic in PROLOG.
Mayank19j/resolution-refutation-prolog
resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.
RaphaelBonatti/propositional-logic-prover-python
A propositional logic prover implemented using resolution refutation.