semantic-tableau

There are 0 repository under semantic-tableau topic.

kovvalsky / LangPro
Tableau-based Theorem Prover for Natural Logic and Language
nli natural-language-inference semantic-tableau theorem-prover theorem-proving natural-logic natural-tableau lambda-logical-form natural-language-processing formal-semantics prolog
Language:Prolog 109
alexandru-dinu / semantic-tableaux
Semantic Tableaux for simple PL.
semantic-tableau knowledge-base adt kripke
Language:Haskell 4
gabrielpereiram10 / allocation
Repositório do projeto da disciplina de Lógica para Computação
propositional-logic dpll-algorithm semantic-tableau satisfiability-problem cnf
Language:Python 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
proof-theory / tpg
Tree Proof Generator
automated-deduction proof-theory semantic-tableau
Language:JavaScript 0