Resumen

CASTRO-MANZANO, José Martín. On a Tableaux Method for Numerical Term Logic. Andamios [online]. 2019, vol.16, n.41, pp.103-125.  Epub 20-Mayo-2020. ISSN 2594-1917.  https://doi.org/10.29092/uacm.v16i41.717.

In this contribution we propose a tableaux method for Murphree’s Numerical Term Logic. The result is an analytic tableaux method for propositional logic, apodictic syllogistic, relational syllogistic, intermediate syllogistic, and numerical syllogistic.

Palabras llave : Semantic trees; term logic; non-classical quantifiers.