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 ...

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.

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