On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics

This work is supported by the Spanish Ministry of Science and Innovation (MCIN/AEI/ 10.13039/501100011033) under Grant PID2020-116502GB-I00. Sandra’s work is co-financed by the European NextGenerationEU Fund, Spanish “Plan de Recuperación, Transformación y Re- silencia” Fund, Spanish Ministry of Uni...

ver descrição completa

Detalhes bibliográficos
Autores: Blanco, José Miguel, López Velasco, Sandra María, Recio, Marcos M.
Formato: artículo
Estado:Versión publicada
Fecha de publicación:2023
País:España
Recursos:Universidad de Salamanca (USAL)
Repositorio:GREDOS. Repositorio Institucional de la Universidad de Salamanca
OAI Identifier:oai:gredos.usal.es:10366/155541
Acesso em linha:http://hdl.handle.net/10366/155541
Access Level:acceso abierto
Palavra-chave:Routley-Meyer Semantics
4-valued Logics
General Reduced Routley-Meyer Semantics
2 Set-up Routley-Meyer Semantics
11 Lógica
id ES_6cb3cfdff2ae7dd2a81469e1f01d9e3c
oai_identifier_str oai:gredos.usal.es:10366/155541
network_acronym_str ES
network_name_str España
repository_id_str
spelling On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued LogicsBlanco, José MiguelLópez Velasco, Sandra MaríaRecio, Marcos M.Routley-Meyer Semantics4-valued LogicsGeneral Reduced Routley-Meyer Semantics2 Set-up Routley-Meyer Semantics11 LógicaThis work is supported by the Spanish Ministry of Science and Innovation (MCIN/AEI/ 10.13039/501100011033) under Grant PID2020-116502GB-I00. Sandra’s work is co-financed by the European NextGenerationEU Fund, Spanish “Plan de Recuperación, Transformación y Re- silencia” Fund, Spanish Ministry of Universities, and University of Salamanca (“Ayudas para la recualificación del sistema universitario español 2021-2022”[EN]Routley-Meyer ternary relational semantics can be introduced for models in different ways depending on how the set of regular elements of the model is defined. Two of the most prominent ones are the Reduced General semantics and the 2 Set-up semantics. On the other hand, Lti-logics are 4-valued logics characterized by variations of the conditional of the matrices upon which Brady’s logic BN4, and Robles and Méndez’s E4 are built. When Lti-logics are endowed with the Reduced General semantics they conform Lti-models; when endowed with 2 Set-up semantics, they conform 2 Set-up Lti-models. Then, it is shown that 2 Set-up Lti-models are actually a specific case of the more general structure that are the Lti-models.College Publications202420242023info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/10366/155541reponame: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/1555412026-06-07T06:28:51Z
dc.title.none.fl_str_mv On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics
title On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics
spellingShingle On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics
Blanco, José Miguel
Routley-Meyer Semantics
4-valued Logics
General Reduced Routley-Meyer Semantics
2 Set-up Routley-Meyer Semantics
11 Lógica
title_short On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics
title_full On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics
title_fullStr On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics
title_full_unstemmed On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics
title_sort On How the 2 Set-up Routley-Meyer Semantics are a Specific Case of the Reduced General Routley-Meyer Semantics in the Context of Some 4-valued Logics
dc.creator.none.fl_str_mv Blanco, José Miguel
López Velasco, Sandra María
Recio, Marcos M.
author Blanco, José Miguel
author_facet Blanco, José Miguel
López Velasco, Sandra María
Recio, Marcos M.
author_role author
author2 López Velasco, Sandra María
Recio, Marcos M.
author2_role author
author
dc.subject.none.fl_str_mv Routley-Meyer Semantics
4-valued Logics
General Reduced Routley-Meyer Semantics
2 Set-up Routley-Meyer Semantics
11 Lógica
topic Routley-Meyer Semantics
4-valued Logics
General Reduced Routley-Meyer Semantics
2 Set-up Routley-Meyer Semantics
11 Lógica
description This work is supported by the Spanish Ministry of Science and Innovation (MCIN/AEI/ 10.13039/501100011033) under Grant PID2020-116502GB-I00. Sandra’s work is co-financed by the European NextGenerationEU Fund, Spanish “Plan de Recuperación, Transformación y Re- silencia” Fund, Spanish Ministry of Universities, and University of Salamanca (“Ayudas para la recualificación del sistema universitario español 2021-2022”
publishDate 2023
dc.date.none.fl_str_mv 2023
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/155541
url http://hdl.handle.net/10366/155541
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 College Publications
publisher.none.fl_str_mv College Publications
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_ 1869410287093809152
score 15.300724

Registos relacionados