Resumen de Silogística intermedia, términos y árboles
- español
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.
- English
In this paper we propose a tableaux method for the interme-diate 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
