MUltseq is a sequent prover for finite-valued logics.
See the website.
- Install SWI Prolog.
- Download MUltseq
- Test whether MUltseq works.
$ cd multseq/examples $ swipl ?- [ex_classical]. ?- halt. $ pdflatex ex_classical.tex
MUltseq is a sequent prover for finite-valued logics.
See the website.
$ cd multseq/examples
$ swipl
?- [ex_classical].
?- halt.
$ pdflatex ex_classical.tex