Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B

[EN]The logics BN4 and E4 can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively. The logic BN4 was developed by Brady in 1982 and the logic E4 by Robles and Méndez in 2016. The aim of this paper is to investigate the implicative variants (of bot...

Full description

Bibliographic Details
Author: López Velasco, Sandra María
Format: article
Status:Published version
Publication Date:2022
Country:España
Institution:Universidad de Salamanca (USAL)
Repository:GREDOS. Repositorio Institucional de la Universidad de Salamanca
OAI Identifier:oai:gredos.usal.es:10366/155584
Online Access:http://hdl.handle.net/10366/155584
Access Level:Open access
Keyword:4-valued logics
Belnap-Dunn semantics
Routley and Meyer’s logic B
Many-valued logics
Relevant logics
11 Lógica
id ES_c11d79bf6b34bd73cc9fa1dcaadf8078
oai_identifier_str oai:gredos.usal.es:10366/155584
network_acronym_str ES
network_name_str España
repository_id_str
spelling Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic BLópez Velasco, Sandra María4-valued logicsBelnap-Dunn semanticsRoutley and Meyer’s logic BMany-valued logicsRelevant logics11 Lógica[EN]The logics BN4 and E4 can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively. The logic BN4 was developed by Brady in 1982 and the logic E4 by Robles and Méndez in 2016. The aim of this paper is to investigate the implicative variants (of both systems) which contain Routley and Meyer’s logic B and endow them with a Belnap-Dunn type bivalent semantics.Nicolaus Copernicus University in Toruń202420242022info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/10366/155584reponame:GREDOS. Repositorio Institucional de la Universidad de Salamancainstname:Universidad de Salamanca (USAL)InglésAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:gredos.usal.es:10366/1555842026-06-07T06:28:51Z
dc.title.none.fl_str_mv Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
title Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
spellingShingle Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
López Velasco, Sandra María
4-valued logics
Belnap-Dunn semantics
Routley and Meyer’s logic B
Many-valued logics
Relevant logics
11 Lógica
title_short Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
title_full Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
title_fullStr Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
title_full_unstemmed Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
title_sort Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
dc.creator.none.fl_str_mv López Velasco, Sandra María
author López Velasco, Sandra María
author_facet López Velasco, Sandra María
author_role author
dc.subject.none.fl_str_mv 4-valued logics
Belnap-Dunn semantics
Routley and Meyer’s logic B
Many-valued logics
Relevant logics
11 Lógica
topic 4-valued logics
Belnap-Dunn semantics
Routley and Meyer’s logic B
Many-valued logics
Relevant logics
11 Lógica
description [EN]The logics BN4 and E4 can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively. The logic BN4 was developed by Brady in 1982 and the logic E4 by Robles and Méndez in 2016. The aim of this paper is to investigate the implicative variants (of both systems) which contain Routley and Meyer’s logic B and endow them with a Belnap-Dunn type bivalent semantics.
publishDate 2022
dc.date.none.fl_str_mv 2022
2024
2024
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 http://hdl.handle.net/10366/155584
url http://hdl.handle.net/10366/155584
dc.language.none.fl_str_mv
Inglés
language_invalid_str_mv
Inglés
dc.rights.none.fl_str_mv Attribution-NonCommercial-NoDerivatives 4.0 Internacional
http://creativecommons.org/licenses/by-nc-nd/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivatives 4.0 Internacional
http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Nicolaus Copernicus University in Toruń
publisher.none.fl_str_mv Nicolaus Copernicus University in Toruń
dc.source.none.fl_str_mv reponame:GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname:Universidad de Salamanca (USAL)
instname_str Universidad de Salamanca (USAL)
reponame_str GREDOS. Repositorio Institucional de la Universidad de Salamanca
collection GREDOS. Repositorio Institucional de la Universidad de Salamanca
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869418533269536768
score 15,300719

Similar Items