Revista: | Andamios |
Base de datos: | CLASE |
Número de sistema: | 000497198 |
ISSN: | 1870-0063 |
Autors: | Castro Manzano, José Martín1 |
Institucions: | 1Universidad Popular Autónoma del Estado de Puebla, Facultad de Filosofía, Puebla. México |
Any: | 2019 |
Període: | Sep-Dic |
Volum: | 16 |
Número: | 41 |
País: | México |
Idioma: | Español |
Tipo de documento: | Artículo |
Enfoque: | Analítico, teórico |
Resumen en español | En esta contribución proponemos un método de árboles para la lógica de términos numérica de Murphree. El resultado es un método analítico de árboles para la lógica proposicional, la silogística apodíctica, la silogística relacional, la silogística intermedia y la silogística numérica |
Resumen en inglés | In this contribution we propose a tableaux method for Murphree’s Numerical Term Logic. The result is an analytic tableaux method for propositional logic, apodictic syllogistic, relational syllogistic, intermediate syllogistic, and numerical syllogistic |
Disciplines | Filosofía |
Paraules clau: | Lógica, Arboles semánticos, Lógica de términos, Cuantificadores no-clásicos |
Keyword: | Logic, Semantic trees, Term logic, Non-classical quantifiers |
Text complet: | Texto completo (Ver HTML) Texto completo (Ver PDF) |