I have no idea if it is relevant, but I wrote a tiny proof assistant for
a hilbert style first order logic the other day.
http://repetae.net/Hilbert.hs
set hasUnicode to False at the top if your terminal doesn't support
unicode. fun what one can do in a few hundred lines of haskell..
Hi Ganesh,
manipulating predicate formulae was a central part of my PhD research. I
implemented some normalization and standarcization functions in Haskell -
inspired by term rewriting (like normalization to Boolean ring
representation) as well as (as far as I know) novell ideas (standardization
Hi,
That sounds like it might be quite useful. What I'm doing is generating
some predicates that involve addition/subtraction/comparison of integers
and concatenation/comparison of lists of some abstract thing, and then
trying to simplify them. An example would be simplifying
\exists
Hi,
you can browse my code
here.http://trac.informatik.uni-bremen.de:8080/hets/browser/trunk/Search/CommonIt
has become part of
Hets http://www.dfki.de/sks/hets the Heterogeneous Tool Set which is a
parsing, static analysis and proof management tool combining various tools
for different
Thanks - I'll take a look. One pre-emptive question: if I want to use it,
it'd be more convenient, though not insurmountable, if that code was
BSD3-licenced, since it will fit in better with the licence for camp
http://projects.haskell.org/camp, which I might eventually want to
integrate my
On Sun, 30 Nov 2008, Neil Mitchell wrote:
http://www.cs.york.ac.uk/fp/darcs/proposition/
Unreleased, but might be of interest. It simplifies propositional
formulae, and can do so using algebraic laws, custom simplifications
or BDDs. I don't really use this library, so if it is of interest to
Hi,
Are there any Haskell libraries around for manipulating predicate
formulae? I had a look on hackage but couldn't spot anything.
I am generating complex expressions that I'd like some programmatic help
in simplifying.
Cheers,
Ganesh
___
Hi Ganesh,
Are there any Haskell libraries around for manipulating predicate formulae?
I had a look on hackage but couldn't spot anything.
http://www.cs.york.ac.uk/fp/darcs/proposition/
Unreleased, but might be of interest. It simplifies propositional
formulae, and can do so using algebraic