Logic Directory

Site Listings

logic.at: Home Page Of Multlog
Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this ...
www.logic.at/multlog/

cl.cam.ac.uk: Isabelle
A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download.
www.cl.cam.ac.uk/research/hvg/Isabelle/

Add Site or Add URL to Submit Site to the Logic Directory