Abstract

CASTRO-MANZANO, J.-Martín. Toward Relevance Term Logic. Comp. y Sist. [online]. 2022, vol.26, n.2, pp.761-768.  Epub Mar 10, 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.

Keywords : Semantic trees; term logic; relevance logic.