| Revue: | Computación y sistemas |
| Base de datos: | |
| Número de sistema: | 000560698 |
| ISSN: | 1405-5546 |
| Autores: | Castro Manzano, J.-Martín1 |
| Instituciones: | 1Universidad Popular Autónoma del Estado de Puebla, Facultad de Filosofía, México |
| Año: | 2022 |
| Periodo: | Abr-Jun |
| Volumen: | 26 |
| Número: | 2 |
| Paginación: | 761-768 |
| País: | México |
| Idioma: | Inglés |
| Resumen en inglés | Term Functor Logic is a term logic that recovers some important features of the traditional, Aristotelian logic; however, it turns out that it does not preserve all of the Aristotelian properties a valid inference should have insofar as its class of theorems includes some inferences that may be considered irrelevant. Given this situation, in this contribution we tweak a tableaux method in order to avoid said irrelevance. |
| Keyword: | Semantic trees, Term logic, Relevance logic |
| Texte intégral: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
