| Revista: | Tópicos (México) |
| Base de datos: | CLASE |
| Número de sistema: | 000498984 |
| ISSN: | 0188-6649 |
| Autores: | Castro Manzano, J. Martín1 |
| Instituciones: | 1Universidad Popular Autónoma del Estado de Puebla, Puebla. México |
| Año: | 2020 |
| Periodo: | Ene-Jun |
| Número: | 58 |
| País: | México |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico |
| Resumen en 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 |
| Resumen en inglés | 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 |
| Disciplinas: | Filosofía |
| Palabras clave: | Lógica, Silogística, Arboles semánticos, Lógica de términos, Cuantificadores no-clásicos |
| Keyword: | Logic, Syllogistic, Semantic trees, Term logic, Non-classical quantifiers |
| Texto completo: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
