The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points

[EN] Sylvan and Plumwood’s B_{M} is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic B_{KM} and some of its extensions. The logic B_{KM} is the non-relevant De Morgan minimal logic in the Routley-Meyer s...

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:2014
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/25749
Acceso en línea:https://www.tandfonline.com/doi/abs/10.1080/11663081.2014.972306
https://hdl.handle.net/10612/25749
Access Level:acceso abierto
Palabra clave:Lógica
Routley-Meyer semantics
De Morgan logics
Substructural logics
11 Lógica
id ES_1fc7f91a4e495b2a6496c78559fdb841
oai_identifier_str oai:buleria.unileon.es:10612/25749
network_acronym_str ES
network_name_str España
repository_id_str
spelling The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated pointsRobles Vázquez, GemmaMéndez Rodríguez, José ManuelLógicaRoutley-Meyer semanticsDe Morgan logicsSubstructural logics11 Lógica[EN] Sylvan and Plumwood’s B_{M} is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic B_{KM} and some of its extensions. The logic B_{KM} is the non-relevant De Morgan minimal logic in the Routley-Meyer semantics without a set of designated points.SIMinisterio de Economía y Competitividad (España)Taylor & FrancisLogica y Filosofia de la CienciaFacultad de Filosofia y Letras2014info:eu-repo/semantics/articleinfo:eu-repo/semantics/acceptedVersionhttps://www.tandfonline.com/doi/abs/10.1080/11663081.2014.972306https://hdl.handle.net/10612/25749reponame:BULERIA. Repositorio Institucional de la Universidad de Leóninstname:Universidad de LeónInglésinfo:eu-repo/grantAgreement/MINECO//FFI2011-28494http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:buleria.unileon.es:10612/257492026-06-24T12:43:27Z
dc.title.none.fl_str_mv The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
title The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
spellingShingle The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
Robles Vázquez, Gemma
Lógica
Routley-Meyer semantics
De Morgan logics
Substructural logics
11 Lógica
title_short The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
title_full The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
title_fullStr The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
title_full_unstemmed The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
title_sort The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
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
Routley-Meyer semantics
De Morgan logics
Substructural logics
11 Lógica
topic Lógica
Routley-Meyer semantics
De Morgan logics
Substructural logics
11 Lógica
description [EN] Sylvan and Plumwood’s B_{M} is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic B_{KM} and some of its extensions. The logic B_{KM} is the non-relevant De Morgan minimal logic in the Routley-Meyer semantics without a set of designated points.
publishDate 2014
dc.date.none.fl_str_mv 2014
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://www.tandfonline.com/doi/abs/10.1080/11663081.2014.972306
https://hdl.handle.net/10612/25749
url https://www.tandfonline.com/doi/abs/10.1080/11663081.2014.972306
https://hdl.handle.net/10612/25749
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//FFI2011-28494
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 Taylor & Francis
publisher.none.fl_str_mv Taylor & Francis
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_ 1869404420613079040
score 15,812455

Similares en LA Referencia