semantic-tableau

Tableau-based Theorem Prover for Natural Logic and Language

Semantic Tableaux for simple PL.

Basic theorem prover for propositional logic that supports `and or not` operators. Currently, this has no dependencies.

Repositório do projeto da disciplina de Lógica para Computação

semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.

Tree Proof Generator

Master's thesis of Johannes Schuster that introduces Shot, a higher-order tableau theorem prover