tableaux

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

Exercices Niveau 2 JAVA

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

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

First-Order Tableaux Solver written in Elixir.

Provador de fórmulas proposicionais com análise léxica, FBF, Tableaux e tabela-verdade.

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

Remplacement de tableau

Exercices JavaScript

Tableaux de Jean-Marc DALLEAU

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

First-Order Logic Automated Theorem Prover using Tableaux Method