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...

Descripción completa

Detalles Bibliográficos
Autores: Robles Vázquez, Gemma, Méndez Rodríguez, José Manuel
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
id ES_80910dce6d330b54c3e5e7ca097dc033
oai_identifier_str oai:buleria.unileon.es:10612/25818
network_acronym_str ES
network_name_str España
repository_id_str
spelling A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogismRobles Vázquez, GemmaMéndez Rodríguez, José ManuelLógicaRelevant logics(Routley-Meyer type) ternary relational semanticsDisjunctive syllogismSubstructural logics.11[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.SIMinisterio de Economía y Competitividad (España)Oxford University PressLogica y Filosofia de la CienciaFacultad de Filosofia y Letras2011info:eu-repo/semantics/articleinfo:eu-repo/semantics/acceptedVersionhttps://academic.oup.com/jigpal/article-abstract/19/1/18/683353https://hdl.handle.net/10612/25818reponame:BULERIA. Repositorio Institucional de la Universidad de Leóninstname:Universidad de LeónInglésinfo:eu-repo/grantAgreement/MINECO//FFI2008-05859info:eu-repo/grantAgreement/MINECO//FFI2008-01205http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:buleria.unileon.es:10612/258182026-06-24T12:43:27Z
dc.title.none.fl_str_mv A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
title A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
spellingShingle A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
Robles Vázquez, Gemma
Lógica
Relevant logics
(Routley-Meyer type) ternary relational semantics
Disjunctive syllogism
Substructural logics.
11
title_short A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
title_full A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
title_fullStr A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
title_full_unstemmed A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
title_sort A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
dc.creator.none.fl_str_mv Robles Vázquez, Gemma
Méndez Rodríguez, José Manuel
author Robles Vázquez, Gemma
author_facet Robles Vázquez, Gemma
Méndez Rodríguez, José Manuel
author_role author
author2 Méndez Rodríguez, José Manuel
author2_role author
dc.contributor.none.fl_str_mv Logica y Filosofia de la Ciencia
Facultad de Filosofia y Letras
dc.subject.none.fl_str_mv Lógica
Relevant logics
(Routley-Meyer type) ternary relational semantics
Disjunctive syllogism
Substructural logics.
11
topic Lógica
Relevant logics
(Routley-Meyer type) ternary relational semantics
Disjunctive syllogism
Substructural logics.
11
description [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.
publishDate 2011
dc.date.none.fl_str_mv 2011
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/acceptedVersion
format article
status_str acceptedVersion
dc.identifier.none.fl_str_mv https://academic.oup.com/jigpal/article-abstract/19/1/18/683353
https://hdl.handle.net/10612/25818
url https://academic.oup.com/jigpal/article-abstract/19/1/18/683353
https://hdl.handle.net/10612/25818
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv info:eu-repo/grantAgreement/MINECO//FFI2008-05859
info:eu-repo/grantAgreement/MINECO//FFI2008-01205
dc.rights.none.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Oxford University Press
publisher.none.fl_str_mv Oxford University Press
dc.source.none.fl_str_mv reponame:BULERIA. Repositorio Institucional de la Universidad de León
instname:Universidad de León
instname_str Universidad de León
reponame_str BULERIA. Repositorio Institucional de la Universidad de León
collection BULERIA. Repositorio Institucional de la Universidad de León
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869411908204888064
score 15.811543

Similares en LA Referencia