Serviços Personalizados
Journal
Artigo
Indicadores
Citado por SciELO
Acessos
Links relacionados
Similares em SciELO
Compartilhar
Computación y Sistemas
versão On-line ISSN 2007-9737versão impressa ISSN 1405-5546
Resumo
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.
Palavras-chave : Semantic trees; term logic; relevance logic.
· texto em Inglês
· Inglês
(
pdf
)
![](/img/en/iconPDFDocument.gif)