https://github.com/ryukinix/lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp

common-lisp inference-engine inference-rules lisp-inference propositional-calculus propositional-logic truth-table

Last synced: 21 Jan 2026

https://github.com/raulpy271/validationmethods

🧮 validation methods of propositional logic

algebraic-data-types contradiction formula functional-programming haskell proof propositional-calculus tautology tree

Last synced: 19 Aug 2025

https://github.com/ewdlop/logic-note

boolean-logic computer-assisted-proof first-order-logic formal-logic fuzzy-logic many-valued-logic modal-logic predicate-logic proofs-as-programs propositional-calculus three-state-logic three-valued-logic

Last synced: 03 Nov 2025

https://github.com/mboy29/expertsystem_42

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

42 expert-system propositional-calculus python

Last synced: 28 Feb 2025

https://github.com/dfinnis/expert_system

An expert system for propositional calculus

42 expert-system graph-algorithms inference-engine propositional-calculus python

Last synced: 13 Feb 2026