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.

Detalles Bibliográficos
Autores: Méndez Rodríguez, José Manuel, Robles Vázquez, Gemma, Salto Alemany, Francisco
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2011
País:España
Institución:Universidad de León
Repositorio:BULERIA. Repositorio Institucional de la Universidad de León
OAI Identifier:oai:buleria.unileon.es:10612/25873
Acceso en línea:https://www.logiqueetanalyse.be/archive/issues87-220/LA215/03mendez-robles-salto.pdf
https://hdl.handle.net/10612/25873
Access Level:acceso abierto
Palabra clave:Lógica
Ticket Entailment logic
Routley-Meyer semantics
Relevant logics
11 Lógica
Descripción
Sumario:[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.

Similares en LA Referencia