propositional

There are 0 repository under propositional topic.

plazajan / Propositional-Resolution
Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
prolog propositional propositional-calculus propositional-logic propositional-resolution theorem-prover classical-logic logic subsumption-elimination pure-literal-elimination educational-software
Language:Prolog 0
sharmaparnika / Propositional_Logic
Aim: - To implement Propositional Logic in AI using Python.
ai code logic python propositional
Language:Jupyter Notebook