A Free Mathematical and Computational Software Directory

Packages tagged “logic“

Boolean

A general boolean algebra class and some instances for Haskell

Tags: library, algebra, discrete mathematics, logic.

Homepage: http://repetae.net/recent/out/Boolean.html

Ciao

A Prolog development system

Tags: logic, logic programming.

Homepage: http://clip.dia.fi.upm.es/Software/Ciao/

Coq

Formal proof management system

Tags: logic, automated theorem proving.

Homepage: http://coq.inria.fr/

DELORES

A forward-chaining reasoning engine for defeasible logic

Tags: logic.

Homepage: http://en.nothingisreal.com/wiki/DELORES

E

Automated theorem prover

Tags: logic, automated theorem proving.

Homepage: http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html

ProofPower

A suite of tools supporting specification and proof in Higher Order Logic and in the Z notation

Tags: logic, Z notation, higher-order logic, automated theorem proving.

Homepage: http://lemma-one.com/ProofPower/

PVS

Specification and Verification System

Tags: logic, automated theorem proving.

Homepage: http://pvs.csl.sri.com/

SWI-Prolog

A comprehensive Free Software Prolog environment

Tags: logic, logic programming.

Homepage: http://www.swi-prolog.org/