Logic Science Software Programs, Discount Logic Software Providers.

HABIB INTERNATIONAL
Spreading Fragrances & Knowledge

About us Contact Site Map Home
  Health & Beauty
  Automobiles
  Books
  Business
 Medical
 Attorneys
  Computer & Internet
  Education
  Electronics
  Arts & Entertainment
  Fashion
  Food & Drinks
  Household
  Personal Finance
  Shopping & Gifts
  Sports
  Travel & Vacation
  Other Articles
 

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