Haskell Utilities for Thesis "Dialogue Games for Fuzzy Logics"


Programs included:
    - Giles: Draw game trees of Giles's Game.
    - Hypseq: Find and visualize Proofs in the relational 
        hypersequent calculus rH.
    - TCGame: Find and visualize winning strategies for the 
        proponent in a Truth Comparison Game.

All programs as well as their usage are documented in Chapter 6 in 
the Thesis [1]. Additionally, calling them with the --help argument 
shows some sample input.
	

Requirements:
    - Ghc-6.6 or higher for compiling (probably also works with older 
      versions) [3]
    - standard Unix-shell-like environment (e.g. Cygwin for Windows)
    - for Giles: Dot from the Graphviz library [2]
    - for Hypseq + TCGame: Latex environment 

    - Latex packages for Hypseq and TCGame are included within this
      archive (see bussproofs.sty, resp. pstricks/)


Building:
   - Just issue "make all" for compiling.


[1] http://www.logic.at/people/roschger/thesis/thesis.pdf
[2] http://www.graphviz.org/
[3] http://www.haskell.org/ghc/
