Sobre un método de árboles para la lógica de términos numérica
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:
PDFDOI: 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