Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules

José M Méndez, Gemma Robles, Francisco Salto

Abstract


In this paper, it is shown how to define a Routley-Meyer type ternary relational semantics for relevant logics including contractionless Ticket Entailment TW plus the contraction and reductio rules. Standard relevant logics such as E and R plus ? are among the logics considered.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.