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

José Martín Castro-Manzano

Resumen


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.


Palabras clave


Árboles semánticos; lógica de términos; cuantificadores no-clásicos;

Texto completo:

PDF


DOI: http://dx.doi.org/10.29092/uacm.v16i41.717

Enlaces refback

  • No hay ningún enlace refback.


 ISSN versión electrónica: 2594-1917 ISSN versión impresa: 1870-0063

Contacto principal Oscar Rosas Castro, correo electrónico: andamios@uacm.edu.mx