Tableau-based Theorem Prover for Natural Logic and Language

Semantic Tableaux for simple PL.

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

Tree Proof Generator

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