The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic

[EN] We define all 3-valued implicative expansions of Kleene’s strong 3-valued matrix (with both only one and two designated values) verifying Anderson and Belnap’s First degree entailment logic, FDE. Then, the logics determined by each one of these implicative expansions are axiomatized by using a...

Descripción completa

Detalles Bibliográficos
Autor: Robles Vázquez, Gemma
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2021
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/25668
Acceso en línea:https://hdl.handle.net/10612/25668
Access Level:acceso abierto
Palabra clave:Lógica
3-valued logic
Kleene’s strong 3-valued logic
Belnap-Dunn ‘twovalued’ semantics
First degree entailment logic FDE
Implicative logic
11 Lógica
id ES_f3d71a6afbfb716e390309f9d0cf75ad
oai_identifier_str oai:buleria.unileon.es:10612/25668
network_acronym_str ES
network_name_str España
repository_id_str
spelling The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logicRobles Vázquez, GemmaLógica3-valued logicKleene’s strong 3-valued logicBelnap-Dunn ‘twovalued’ semanticsFirst degree entailment logic FDEImplicative logic11 Lógica[EN] We define all 3-valued implicative expansions of Kleene’s strong 3-valued matrix (with both only one and two designated values) verifying Anderson and Belnap’s First degree entailment logic, FDE. Then, the logics determined by each one of these implicative expansions are axiomatized by using a Belnap-Dunn ‘two-valued’ semantics. This semantics is ‘overdetermined’ in the case of two designated values and ‘underdetermined’ when there is only one.SIMinisterio de Economía, Industria y Competitividad (España)College PublicationsLogica y Filosofia de la CienciaFacultad de Filosofia y Letras2021info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttps://hdl.handle.net/10612/25668reponame:BULERIA. Repositorio Institucional de la Universidad de Leóninstname:Universidad de LeónInglésinfo:eu-repo/grantAgreement/MINECO//FFI2017-82878-Phttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:buleria.unileon.es:10612/256682026-06-24T12:43:27Z
dc.title.none.fl_str_mv The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic
title The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic
spellingShingle The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic
Robles Vázquez, Gemma
Lógica
3-valued logic
Kleene’s strong 3-valued logic
Belnap-Dunn ‘twovalued’ semantics
First degree entailment logic FDE
Implicative logic
11 Lógica
title_short The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic
title_full The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic
title_fullStr The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic
title_full_unstemmed The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic
title_sort The class of all 3-valued implicative expansions of Kleene's strong logic containing Anderson and Belnap's First degree entailment logic
dc.creator.none.fl_str_mv Robles Vázquez, Gemma
author Robles Vázquez, Gemma
author_facet Robles Vázquez, Gemma
author_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
3-valued logic
Kleene’s strong 3-valued logic
Belnap-Dunn ‘twovalued’ semantics
First degree entailment logic FDE
Implicative logic
11 Lógica
topic Lógica
3-valued logic
Kleene’s strong 3-valued logic
Belnap-Dunn ‘twovalued’ semantics
First degree entailment logic FDE
Implicative logic
11 Lógica
description [EN] We define all 3-valued implicative expansions of Kleene’s strong 3-valued matrix (with both only one and two designated values) verifying Anderson and Belnap’s First degree entailment logic, FDE. Then, the logics determined by each one of these implicative expansions are axiomatized by using a Belnap-Dunn ‘two-valued’ semantics. This semantics is ‘overdetermined’ in the case of two designated values and ‘underdetermined’ when there is only one.
publishDate 2021
dc.date.none.fl_str_mv 2021
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://hdl.handle.net/10612/25668
url https://hdl.handle.net/10612/25668
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//FFI2017-82878-P
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 College Publications
publisher.none.fl_str_mv College Publications
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_ 1869424415030116352
score 15,812455

Similares en LA Referencia