A LaTeX package for drawing logical tableaux plus additional libraries for Forest trees.

Tableau for non-classical logics

A simple first order logic theorem prover using tableaux

Implementação do Tableux para Lógica Clássica de Primeira Ordem

Propositional modal logic (K/T/S4/S5): tableau and Kripke model engines in pure SML

A simple tool to represent predicate logic and assess formulas using tableaux method

First-Order Tableaux Solver written in Elixir.

Exercices Niveau 2 JAVA

Solver using method of analytic tableaux of ALC logic in Prolog.

Exercices JavaScript

Tableaux de Jean-Marc DALLEAU

First-order logic: parser, Skolemization, tableaux and resolution provers in pure SML

Remplacement de tableau

First-Order Logic Automated Theorem Prover using Tableaux Method