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

[EN] 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 \gamma are among the logics considered.

Bibliographic Details
Authors: Méndez Rodríguez, José Manuel, Robles Vázquez, Gemma, Salto Alemany, Francisco
Format: article
Status:Published version
Publication Date:2011
Country:España
Institution:Universidad de León
Repository:BULERIA. Repositorio Institucional de la Universidad de León
OAI Identifier:oai:buleria.unileon.es:10612/25873
Online Access:https://www.logiqueetanalyse.be/archive/issues87-220/LA215/03mendez-robles-salto.pdf
https://hdl.handle.net/10612/25873
Access Level:Open access
Keyword:Lógica
Ticket Entailment logic
Routley-Meyer semantics
Relevant logics
11 Lógica
Description
Summary:[EN] 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 \gamma are among the logics considered.

Similar Items