Toward Relevance Term Logic

J. Martín Castro-Manzano


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.


Semantic trees, term logic, relevance logic

Full Text: PDF