logic-classes: Framework for propositional and first order logic, theorem proving

[ bsd3, library, logic, theorem-provers ] [ Propose Tags ]
Versions 0.44, 0.45, 0.47, 0.48, 1.1, 1.4, 1.4.1, 1.4.2, 1.4.3, 1.4.4, 1.4.5, 1.4.6, 1.4.7, 1.4.8, 1.5, 1.5.1, 1.5.2, 1.5.3, 1.7, 1.7.1
Dependencies applicative‑extras, base (>=4.3 && <5), containers, fgl, HUnit, mtl, pretty, PropLogic (>=, safecopy, set‑extra, syb, syb‑with‑class, template‑haskell, text [details]
License BSD-3-Clause
Author David Fox <dsf@seereason.com>
Maintainer SeeReason Partners <partners@seereason.com>
Category Logic, Theorem Provers
Home page http://src.seereason.com/logic-classes
Bug tracker http://bugzilla.seereason.com/
Uploaded by DavidFox at Mon Jan 7 01:52:00 UTC 2013
Distributions NixOS:1.7.1
Executables tests
Downloads 5887 total (68 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Package to support Propositional and First Order Logic. It includes classes representing the different types of formulas and terms, some instances of those classes for types used in other logic libraries, and implementations of several logic algorithms, including conversion to normal form and a simple resolution-based theorem prover for any instance of FirstOrderFormula.




Maintainer's Corner

For package maintainers and hackage trustees