Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Similares en SciELO
Compartir
Computación y Sistemas
versión On-line ISSN 2007-9737versión impresa ISSN 1405-5546
Resumen
CASTRO-MANZANO, J.-Martín. Toward Relevance Term Logic. Comp. y Sist. [online]. 2022, vol.26, n.2, pp.761-768. Epub 10-Mar-2023. ISSN 2007-9737. https://doi.org/10.13053/cys-26-2-4237.
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.
Palabras llave : Semantic trees; term logic; relevance logic.
· texto en Inglés
· Inglés
(
pdf
)