Logic Science Software Programs, Discount Logic Software Providers
We list below websites of a few
Logic Science
Software Programs for your
information. The list is neither
exhaustive nor representative of
Logic Science
Software Programs. We wish to
present this information of Logic
Science Software Programs websites only for
reference purposes. We assume no
responsibility for the professional
ability or integrity of the persons
or firms whose names appear on the
following list of Logic Science Software Programs.
MUltseq -
A generic sequent prover for propositional
finitely-valued logics.
http://www.logic.at/multseq/
Paradox -
A tool that processes first-order logic problems
and tries to find finite-domain models for them;
written by Koen Claessen and Niklas Sörensson.
Haskell and C++; free download under GPL.
http://www.cs.chalmers.se/~koen/paradox/
Proof General -
Comprehensive Gnu-Emacs and XEmacs interface for
several theorem provers including Coq, Isabelle,
Lego, and Phox.
http://proofgeneral.inf.ed.ac.uk
ProofPower -
A suite of tools supporting specification and proof
in Higher Order Logic (HOL) and in Z notation.
http://www.lemma-one.com/ProofPower/index/
PROTEIN -
A PROver with a Theory Extension INterface. Theorem
prover for first-order clause logic, written in
ECRC's Prolog-dialect ECLiPSe. Free download,
documentation.
http://www.uni-koblenz.de/ag-ki/Implementierungen/Protein/
PVS -
The PVS Specification and Verification System.
Available for Sparc machines with Solaris 2 and
Intel x86 Machines with Linux compatible with Redhat
5 or later. Required is Emacs (version 19 or later),
recommended LaTeX and Tcl/Tk. Download by FTP.
http://pvs.csl.sri.com/
SwitchMin Digital Circuit Minimizer -
Tool for minimizing boolean logic functions.
http://incolor.inetnebr.com/double/softlib/switchmin.html
Tree
Proof Generator -
An implementation of the semantic tableaux method
for classical propositional and predicate logic,
written in JavaScript/DOM.
http://www.umsu.de/logik/trees
|
