| Journal: | Computación y sistemas |
| Database: | |
| System number: | 000560698 |
| ISSN: | 1405-5546 |
| Authors: | Castro Manzano, J.-Martín1 |
| Institutions: | 1Universidad Popular Autónoma del Estado de Puebla, Facultad de Filosofía, México |
| Year: | 2022 |
| Season: | Abr-Jun |
| Volumen: | 26 |
| Number: | 2 |
| Pages: | 761-768 |
| Country: | México |
| Language: | Inglés |
| English abstract | 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 |
| Full text: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
