/multseq

M. Ultseq, the genius many-valued sequent theorem prover

Primary LanguageProlog

MUltseq

MUltseq is a sequent prover for finite-valued logics.

See the website.

Installation

  • Install SWI Prolog.
  • Download MUltseq
  • Test whether MUltseq works. 
    $ cd multseq/examples
$ swipl
?- [ex_classical].
?- halt.
$ pdflatex ex_classical.tex