tautology
Here are 12 public repositories matching this topic...
semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.
-
Updated
Oct 2, 2018 - C++
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.
-
Updated
Oct 3, 2018 - Prolog
🧮 validation methods of propositional logic
-
Updated
Aug 23, 2020 - Haskell
Prove propositional logic tautologies via Smullyan's tableaux method
-
Updated
Feb 8, 2020 - Go
Haskell Tautology Checker and Parser
-
Updated
Jun 21, 2021 - Haskell
A parser of relational predicate logic & truth tree solver, written in Rust.
-
Updated
May 1, 2019 - Rust
Autonomous Theorem Prover for First Order Predicate Logic
-
Updated
Jun 29, 2020 - Python
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
-
Updated
Apr 23, 2024 - Coq
Improve this page
Add a description, image, and links to the tautology topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tautology topic, visit your repo's landing page and select "manage topics."