Tree Proof Generator

An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM.

Authored by at , Added: Mar 8, 2004

http://www.umsu.de/logik/trees