Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Similares en SciELO
Compartir
Revista de filosofía open insight
versión On-line ISSN 2395-8936versión impresa ISSN 2007-2406
Resumen
CASTRO-MANZANO, J.-Martín. Un método de árboles para la lógica de términos modal. Rev. filos.open insight [online]. 2020, vol.11, n.23, pp.165-180. Epub 21-Abr-2023. ISSN 2395-8936. https://doi.org/10.23924/oi.v11i23.422.
En esta contribución ofrecemos un método de árboles para la lógica de términos modal de Englebretsen. El resultado es un método arborescente capaz de modelar inferencia en lógica proposicional, silogística básica, silogística relacional y silogística modal.
Palabras llave : árboles semánticos; lógica de términos; lógica modal.