Journal: | Andamios |
Database: | CLASE |
System number: | 000497198 |
ISSN: | 1870-0063 |
Authors: | Castro Manzano, José Martín1 |
Institutions: | 1Universidad Popular Autónoma del Estado de Puebla, Facultad de Filosofía, Puebla. México |
Year: | 2019 |
Season: | Sep-Dic |
Volumen: | 16 |
Number: | 41 |
Country: | México |
Language: | Español |
Document type: | Artículo |
Approach: | Analítico, teórico |
Spanish abstract | 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 |
English abstract | 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 |
Keyword: | Lógica, Arboles semánticos, Lógica de términos, Cuantificadores no-clásicos |
Keyword: | Logic, Semantic trees, Term logic, Non-classical quantifiers |
Full text: | Texto completo (Ver HTML) Texto completo (Ver PDF) |