Resumo

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

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