A variety of De Morgan negations in relevant logics

[EN] The present paper is inspired by Sylvan and Plumwood's logic B_{M} defined in "Non-normal relevant logics" and by their treatment of negation with the *-operator in "The semantics of first-degree entailment". Given a positive logic L including Routley and Meyer's b...

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 publicada
Fecha de publicación:2023
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/22891
Acceso en línea:https://ojs.victoria.ac.nz/ajl/article/view/8311
https://hdl.handle.net/10612/22891
Access Level:acceso abierto
Palabra clave:Lógica
Minimal De Morgan logic B_{M}
*-operator
De Morgan type negation
Relevant logics
Routley-Meyer ternary relational semantics
11 Lógica
id ES_699330c624afdd2484dc4de5b1e1e2dd
oai_identifier_str oai:buleria.unileon.es:10612/22891
network_acronym_str ES
network_name_str España
repository_id_str
spelling A variety of De Morgan negations in relevant logicsRobles Vázquez, GemmaMéndez Rodríguez, José ManuelLógicaMinimal De Morgan logic B_{M}*-operatorDe Morgan type negationRelevant logicsRoutley-Meyer ternary relational semantics11 Lógica[EN] The present paper is inspired by Sylvan and Plumwood's logic B_{M} defined in "Non-normal relevant logics" and by their treatment of negation with the *-operator in "The semantics of first-degree entailment". Given a positive logic L including Routley and Meyer's basic positive logic and included in either the positive fragment of E or in that of RW, we investigate the essential De Morgan negation expansions of L and determine all the deductive relations they maintain to each other. A Routley-Meyer semantics is provided for each logic defined in the paperSIMinisterio de Ciencia e Innovación (10.13039/501100011033)Victoria University of WellingtonLogica y Filosofia de la CienciaFacultad de Filosofia y Letras2023info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttps://ojs.victoria.ac.nz/ajl/article/view/8311https://hdl.handle.net/10612/22891reponame:BULERIA. Repositorio Institucional de la Universidad de Leóninstname:Universidad de LeónInglésinfo:eu-repo/grantAgreement/MCIN/AEI/Programa Estatal de Generación de Conocimiento y Fortalecimiento Científico y Tecnológico del Sistema de I+D+ihttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:buleria.unileon.es:10612/228912026-06-24T12:43:27Z
dc.title.none.fl_str_mv A variety of De Morgan negations in relevant logics
title A variety of De Morgan negations in relevant logics
spellingShingle A variety of De Morgan negations in relevant logics
Robles Vázquez, Gemma
Lógica
Minimal De Morgan logic B_{M}
*-operator
De Morgan type negation
Relevant logics
Routley-Meyer ternary relational semantics
11 Lógica
title_short A variety of De Morgan negations in relevant logics
title_full A variety of De Morgan negations in relevant logics
title_fullStr A variety of De Morgan negations in relevant logics
title_full_unstemmed A variety of De Morgan negations in relevant logics
title_sort A variety of De Morgan negations in relevant logics
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
Minimal De Morgan logic B_{M}
*-operator
De Morgan type negation
Relevant logics
Routley-Meyer ternary relational semantics
11 Lógica
topic Lógica
Minimal De Morgan logic B_{M}
*-operator
De Morgan type negation
Relevant logics
Routley-Meyer ternary relational semantics
11 Lógica
description [EN] The present paper is inspired by Sylvan and Plumwood's logic B_{M} defined in "Non-normal relevant logics" and by their treatment of negation with the *-operator in "The semantics of first-degree entailment". Given a positive logic L including Routley and Meyer's basic positive logic and included in either the positive fragment of E or in that of RW, we investigate the essential De Morgan negation expansions of L and determine all the deductive relations they maintain to each other. A Routley-Meyer semantics is provided for each logic defined in the paper
publishDate 2023
dc.date.none.fl_str_mv 2023
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://ojs.victoria.ac.nz/ajl/article/view/8311
https://hdl.handle.net/10612/22891
url https://ojs.victoria.ac.nz/ajl/article/view/8311
https://hdl.handle.net/10612/22891
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv info:eu-repo/grantAgreement/MCIN/AEI/Programa Estatal de Generación de Conocimiento y Fortalecimiento Científico y Tecnológico del Sistema de I+D+i
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 Victoria University of Wellington
publisher.none.fl_str_mv Victoria University of Wellington
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_ 1869410039602610176
score 15,81155

Similares en LA Referencia