A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4

[EN] Brady's logic BN4 can be viewed as the 4-valued logic of the relevant conditional. The aim of this article is to introduce the logic E4, which can be regarded as the 4-valued logic of (relevant) entailment on the basis of the two following facts: (1) as the logic R-mingle, E4 has the ‘quas...

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:2016
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/25711
Acceso en línea:https://academic.oup.com/jigpal/article-abstract/24/5/838/2198221
https://hdl.handle.net/10612/25711
Access Level:acceso abierto
Palabra clave:Lógica
Relevant logics
Many-valued logics
4-valued logics
Belnap- Dunn type semantics
Brady’s logic BN4
11 Lógica
id ES_f9feacbcde5e84d5b1cc8f3c93229ac7
oai_identifier_str oai:buleria.unileon.es:10612/25711
network_acronym_str ES
network_name_str España
repository_id_str
spelling A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4Robles Vázquez, GemmaMéndez Rodríguez, José ManuelLógicaRelevant logicsMany-valued logics4-valued logicsBelnap- Dunn type semanticsBrady’s logic BN411 Lógica[EN] Brady's logic BN4 can be viewed as the 4-valued logic of the relevant conditional. The aim of this article is to introduce the logic E4, which can be regarded as the 4-valued logic of (relevant) entailment on the basis of the two following facts: (1) as the logic R-mingle, E4 has the ‘quasi-relevance property’; (2) as Anderson and Belnap's logic of entailment E, E4 encloses a sound theory of logical necessity when the necessity operator is introduced via the definition \square A=_{df} (A->A)->A.SIMinisterio de Economía y Competitividad (España)Oxford University PressLogica y Filosofia de la CienciaFacultad de Filosofia y Letras2016info:eu-repo/semantics/articleinfo:eu-repo/semantics/acceptedVersionhttps://academic.oup.com/jigpal/article-abstract/24/5/838/2198221https://hdl.handle.net/10612/25711reponame:BULERIA. Repositorio Institucional de la Universidad de Leóninstname:Universidad de LeónInglésinfo:eu-repo/grantAgreement/MINECO/FFI2014-53919-P/SEMANTICA BIVALENTE TIPO DUNN Y SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER PARA LAS EXPANSIONES IMPLICATIVAS NATURALES DE LA MATRIZ FUERTE TRIVALUADA DE KLEENEhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:buleria.unileon.es:10612/257112026-06-24T12:43:27Z
dc.title.none.fl_str_mv A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
title A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
spellingShingle A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
Robles Vázquez, Gemma
Lógica
Relevant logics
Many-valued logics
4-valued logics
Belnap- Dunn type semantics
Brady’s logic BN4
11 Lógica
title_short A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
title_full A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
title_fullStr A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
title_full_unstemmed A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
title_sort A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
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
Many-valued logics
4-valued logics
Belnap- Dunn type semantics
Brady’s logic BN4
11 Lógica
topic Lógica
Relevant logics
Many-valued logics
4-valued logics
Belnap- Dunn type semantics
Brady’s logic BN4
11 Lógica
description [EN] Brady's logic BN4 can be viewed as the 4-valued logic of the relevant conditional. The aim of this article is to introduce the logic E4, which can be regarded as the 4-valued logic of (relevant) entailment on the basis of the two following facts: (1) as the logic R-mingle, E4 has the ‘quasi-relevance property’; (2) as Anderson and Belnap's logic of entailment E, E4 encloses a sound theory of logical necessity when the necessity operator is introduced via the definition \square A=_{df} (A->A)->A.
publishDate 2016
dc.date.none.fl_str_mv 2016
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/24/5/838/2198221
https://hdl.handle.net/10612/25711
url https://academic.oup.com/jigpal/article-abstract/24/5/838/2198221
https://hdl.handle.net/10612/25711
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/FFI2014-53919-P/SEMANTICA BIVALENTE TIPO DUNN Y SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER PARA LAS EXPANSIONES IMPLICATIVAS NATURALES DE LA MATRIZ FUERTE TRIVALUADA DE KLEENE
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_ 1869425144336744448
score 15.81155

Similares en LA Referencia