Resumen

CASTRO-MANZANO, J. Martín. Intermediate Syllogistic, Terms, and Trees. 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.

In this paper we propose a tableaux method for the intermediate syllogistic of Peterson and Thompson by using the algebra of Sommers and Englebretsen. The result is an analytic tableaux method capable of modeling inference in basic, relational, and intermediate syllogistic.

Palabras llave : semantic trees; term logic; non-classical quantifiers.

        · resumen en Español     · texto en Español     · Español ( pdf )