A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3

[EN] The present paper is a sequel to Robles et al. (J Logic Lang Inf 29(3):349–374, 2020. https://doi.org/10.1007/s10849-019-09306-2). A class of implicative expansions of Kleene’s 3-valued logic functionally including Lukasiewicz’s logic L3 is defined. Several properties of this class and/or some...

ver descrição completa

Detalhes bibliográficos
Autores: Robles Vázquez, Gemma, Méndez Rodríguez, José Manuel
Formato: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2021
País:España
Recursos:Universidad de León
Repositorio:BULERIA. Repositorio Institucional de la Universidad de León
OAI Identifier:oai:buleria.unileon.es:10612/25664
Acesso em linha:https://link.springer.com/article/10.1007/s10849-021-09336-9
https://hdl.handle.net/10612/25664
Access Level:acceso abierto
Palavra-chave:Lógica
3-valued logic
Kleene’s strong 3-valued logic
Lukasiewicz’s 3-valued logic
Functional completeness
Variable-sharing property
Natural conditionals
id ES_19d6403e2fb0e2a14c36b03f2a4ed8ed
oai_identifier_str oai:buleria.unileon.es:10612/25664
network_acronym_str ES
network_name_str España
repository_id_str
spelling A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3Robles Vázquez, GemmaMéndez Rodríguez, José ManuelLógica3-valued logicKleene’s strong 3-valued logicLukasiewicz’s 3-valued logicFunctional completenessVariable-sharing propertyNatural conditionalsLógica[EN] The present paper is a sequel to Robles et al. (J Logic Lang Inf 29(3):349–374, 2020. https://doi.org/10.1007/s10849-019-09306-2). A class of implicative expansions of Kleene’s 3-valued logic functionally including Lukasiewicz’s logic L3 is defined. Several properties of this class and/or some of its subclasses are investigated. Properties contemplated include functional completeness for the 3-element set of truth-values, presence of natural conditionals, variable-sharing property (vsp) and vsp-related propertiesSIMinisterio de Economía, Industria y Competitividad (España)SpringerLogica y Filosofia de la CienciaFacultad de Filosofia y Letras2021info:eu-repo/semantics/articleinfo:eu-repo/semantics/acceptedVersionhttps://link.springer.com/article/10.1007/s10849-021-09336-9https://hdl.handle.net/10612/25664reponame: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/256642026-06-24T12:43:27Z
dc.title.none.fl_str_mv A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
title A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
spellingShingle A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
Robles Vázquez, Gemma
Lógica
3-valued logic
Kleene’s strong 3-valued logic
Lukasiewicz’s 3-valued logic
Functional completeness
Variable-sharing property
Natural conditionals
Lógica
title_short A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
title_full A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
title_fullStr A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
title_full_unstemmed A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
title_sort A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
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
3-valued logic
Kleene’s strong 3-valued logic
Lukasiewicz’s 3-valued logic
Functional completeness
Variable-sharing property
Natural conditionals
Lógica
topic Lógica
3-valued logic
Kleene’s strong 3-valued logic
Lukasiewicz’s 3-valued logic
Functional completeness
Variable-sharing property
Natural conditionals
Lógica
description [EN] The present paper is a sequel to Robles et al. (J Logic Lang Inf 29(3):349–374, 2020. https://doi.org/10.1007/s10849-019-09306-2). A class of implicative expansions of Kleene’s 3-valued logic functionally including Lukasiewicz’s logic L3 is defined. Several properties of this class and/or some of its subclasses are investigated. Properties contemplated include functional completeness for the 3-element set of truth-values, presence of natural conditionals, variable-sharing property (vsp) and vsp-related properties
publishDate 2021
dc.date.none.fl_str_mv 2021
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://link.springer.com/article/10.1007/s10849-021-09336-9
https://hdl.handle.net/10612/25664
url https://link.springer.com/article/10.1007/s10849-021-09336-9
https://hdl.handle.net/10612/25664
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 Springer
publisher.none.fl_str_mv Springer
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_ 1869404070412812288
score 15,812429

Registos relacionados