tautology

There are 0 repository under tautology topic.

ixjf / logic-rs
A parser of relational predicate logic & truth tree solver, written in Rust.
logic rust parser formulas relational predicate first order first-order truth-tree consistency formal-validity validity contingency contradiction tautology pest wasm
Language:Rust 15
first-order-predicate-logic-theorem-prover
yakuza8 / first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
theorem-proving theorem-prover first-order-logic first-order-substitution first-order-unification most-general-unifier tautology tautology-checking subsumption subsumption-elimination ai artificial-intelligence
Language:Python 10
bediger4000 / tableaux-in-go
Prove propositional logic tautologies via Smullyan's tableaux method
tautology propositional-logic smullyan-tableaux truth-tree
Language:Go 4
milos85vasic / Tautology
Library used for resolving simple logical problems.
kotlin library tautology logic parsing
Language:Kotlin 4
markuswustenberg / tfft.dk
Tautologisk Forening For Tautologi.
tautology
Language:Makefile 2
coq-community / stalmarck
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
coq-extraction coq-plugin coq docker-coq-action nix-action coq-ci tautology-checking tautology
Language:Coq 1
HondaPL / Haskell-Tautology-Checker
Haskell Tautology Checker and Parser
haskell logic parser tautology tautology-checking
Language:Haskell 1
raulpy271 / ValidationMethods
🧮 validation methods of propositional logic
haskell propositional-calculus functional-programming proof formula tautology tree contradiction algebraic-data-types
Language:Haskell 1
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.
resolution resolution-proof resolution-of-expressions resolution-refutation refutation-resolution logic logic-programming propositional-logic propositional-resolution propositional-proof-system validity tautology tautology-checking prolog
Language:Prolog 0
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.
semantic-table-interpretation semantic-tableau logic propositional-logic propositional-proof-system consistency consistency-checking validity tautology tautology-checking
Language:C++ 0
markuswustenberg / fttf.dk
Forenede Tautologers Tautologiske Forening.
tautology
Language:HTML
patrykwierzbilo / TautologyGenerator
Simple tautology generator.
tautology generator functional
Language:Haskell