Resumen

CASTRO-MANZANO, J. Martín. Silogística intermedia, términos y árboles. Tópicos (México) [online]. 2020, n.58, pp.209-237.  Epub 30-Mayo-2020. ISSN 0188-6649.  https://doi.org/10.21555/top.v0i58.1065.

En este trabajo proponemos un método de árboles para la silogística intermedia de Peterson y Thompson usando el álgebra de Sommers y Englebretsen. El resultado es un método analítico de árboles capaz de modelar inferencia en silogística básica, relacional e intermedia.

Palabras llave : árboles semánticos; lógica de términos; cuantificadores no-clásicos.

        · resumen en Inglés     · texto en Español     · Español ( pdf )