tautology-checking

There are 0 repository under tautology-checking topic.

ptarau / TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
intuitionistic-logic theorem-prover type-inference curry-howard-isomorphism prolog lambda-terms random-binary-tree random-set-partition tautology-checking de-bruijn-notation beta-reduction all-binary-trees-generator all-set-partitions-gnerator remy-s-algorithm knuth-s-algorithm-r boltzmann-sampler normal-forms
Language:Prolog 29
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
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
bjam24 / agh-languages-and-libraries-of-data-analysis
This repository contains my projects created during Language and Libraries of Data Analysis on AGH
aho-corasick tautology-checking breadth-first-search depth-first-search library-management-system
Language:Python 0
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
Ator97 / tautologyAnalysis
Programa desarollado para la me
haskell haskell-learning tautology-checking
Language:Haskell