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