MaTest

Matrix Tester for logical matrices. MaTest es un téster de matrices lógicas, útil en la investigación en lógica matemática y lógica filosófica.