tautology
There are 12 repositories under tautology topic.
ixjf/logic-rs
A parser of relational predicate logic & truth tree solver, written in Rust.
yakuza8/first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
bediger4000/tableaux-in-go
Prove propositional logic tautologies via Smullyan's tableaux method
milos85vasic/Tautology
Library used for resolving simple logical problems.
markuswustenberg/tfft.dk
Tautologisk Forening For Tautologi.
coq-community/stalmarck
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
HondaPL/Haskell-Tautology-Checker
Haskell Tautology Checker and Parser
raulpy271/ValidationMethods
🧮 validation methods of propositional logic
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.
Mayank19j/semantic-tableau
semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.
patrykwierzbilo/TautologyGenerator
Simple tautology generator.
markuswustenberg/fttf.dk
Forenede Tautologers Tautologiske Forening.