Subscribe
 


MUltseq








 
MUltseq
A generic sequent prover for propositional finitely-valued logics.

Authored by at , Added: Mar 8, 2004



http://www.logic.at/multseq/

Unsorted Pool