MaTest is a logical matrix tester, a useful tool in logic research. It applies the matrix-method (in the sense of Lewis & Langford1) exhaustively to well formed formulas (wff) and shows the results as a truth-table. Its algorithm constitutes a general solution to the matrix-method problem with finite matrices. Semantically speaking, defined a list of connectives as logical matrices, with a set of designated values, MaTest calculates, for every truth-value assignation, which values fold and wether they lie under the designated set or not. According to this assignations it evaluates the formula showing wether it is tautological, valid or contradictory. The simplest task MaTest can perform is the generation of truth-tables in the classical propositional logic. This is, in fact, a special case of the matrix-method application. MaTest is the successor of Matrigüity, created by José M. Méndez and Benito García Noriega in 1982. For more details see the History section. MaTest is free software, released under the GNU General Public License (GPL).
Keywords for this software
References in zbMATH (referenced in 6 articles )
Showing results 1 to 6 of 6.
- Méndez, José M.; Robles, Gemma; Salto, Francisco: An interpretation of \Lukasiewicz’s 4-valued modal logic (2016)
- Robles, Gemma; Méndez, José M.: Curry’s paradox, generalized modus ponens axiom and depth relevance (2014)
- Robles, Gemma; Méndez, José M.: Blocking the routes to triviality with depth relevance (2014)
- Robles, Gemma; Salto, Francisco; Méndez, José M.: Dual equivalent two-valued under-determined and over-determined interpretations for \Lukasiewicz’s 3-valued logic Ł3 (2014)
- Robles, Gemma: A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart (2013)
- Méndez, José M.; Robles, Gemma; Salto, Francisco: Ticket entailment plus the mingle axiom has the variable-sharing property (2012)