Abstract

CASTRO-MANZANO, José Martín. On a Tableaux Method for Numerical Term Logic. Andamios [online]. 2019, vol.16, n.41, pp.103-125.  Epub May 20, 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.

Keywords : Semantic trees; term logic; non-classical quantifiers.

        · abstract in Spanish     · text in Spanish     · Spanish ( pdf )