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. Definidas unas matrices para unas conectivas, definido un mínimo valor designado y dada una fórmula bien formada, calcula todas las posibles valoraciones de la fórmula y evalúa en cada caso si se trata de un valor designado o no.

Sucesor de Matrigüity, creado por José Manuel Méndez Rodríguez y Benito García Noriega en 1982.

MaTest es software libre, se distribuye bajo licencia GPLv3+. Es multiplataforma, está programado en ANSI C estándar, no utiliza en su código funciones dependientes de sistema operativo; debería, por tanto, funcionar en cualquier sistema operativo para el que exista un compilador de C.