Journal: | Tópicos (México) |
Database: | CLASE |
System number: | 000498984 |
ISSN: | 0188-6649 |
Authors: | Castro Manzano, J. Martín1 |
Institutions: | 1Universidad Popular Autónoma del Estado de Puebla, Puebla. México |
Year: | 2020 |
Season: | Ene-Jun |
Number: | 58 |
Country: | México |
Language: | Español |
Document type: | Artículo |
Approach: | Analítico |
Spanish abstract | 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 abstract | 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 |
Disciplines: | Filosofía |
Keyword: | 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 |
Full text: | Texto completo (Ver HTML) Texto completo (Ver PDF) |