A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
[EN] We provide Routley-Meyer type semantics for relevant logics including Contractionless Ticket Entailment TW (without the truth constant t and o) plus reductio R and Ackermann’s rule \gamma (i.e., disjunctive syllogism). These logics have the following properties. (i) All have the variable sharin...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| 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/25818 |
| Acceso en línea: | https://academic.oup.com/jigpal/article-abstract/19/1/18/683353 https://hdl.handle.net/10612/25818 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Relevant logics (Routley-Meyer type) ternary relational semantics Disjunctive syllogism Substructural logics. 11 |
| Sumario: | [EN] We provide Routley-Meyer type semantics for relevant logics including Contractionless Ticket Entailment TW (without the truth constant t and o) plus reductio R and Ackermann’s rule \gamma (i.e., disjunctive syllogism). These logics have the following properties. (i) All have the variable sharing property; some of them have, in addition, the Ackermann Property. (ii) They are stable. (iii) Inconsistent theories built upon these logics are not necessarily trivial. |
|---|