Sobre un método de árboles para la lógica de términos numérica

• Castro-Manzano, José Martín ^[1]
  1. [1] Facultad de Filosofía en la UPAEP, del estado de Puebla, México.
• Localización: Andamios: revista de investigación social, ISSN 2594-1917, ISSN-e 1870-0063, Nº. 41, 2019 (Ejemplar dedicado a: septiembre-diciembre), págs. 103-125
• Idioma: español
• DOI: 10.29092/uacm.v16i41.717
• Títulos paralelos:
  • On a tableaux method for numerical term logic
• Enlaces
  • Texto completo
• Resumen
  • español

    En esta contribución proponemos un método de árboles para la lógica de términos numérica de Murphree. El resultado es un método analítico de árboles para la lógica proposicional, la silogística apodíctica, la silogística relacional, la silogística intermedia y la silogística numérica.

  • English

    n 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.