A basic quasi-Boolean logic of intuitionistic character

[EN] The logic B_{M} is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B_{M} endowed with a quasi-Boolean negation of intuitionistic character included in 3-valued logic G3 and/or 3-valued logic S5_{G3}. Unreduced Routley-Meyer ternary relat...

Descripción completa

Detalles Bibliográficos
Autor: Robles Vázquez, Gemma
Tipo de recurso: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2020
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/25670
Acceso en línea:https://www.tandfonline.com/doi/full/10.1080/11663081.2020.1826155
https://hdl.handle.net/10612/25670
Access Level:acceso abierto
Palabra clave:Lógica
De Morgan logics
Quasi-Boolean logics
Paraintuitionistic logics
Superintuitionistic logics
Routley-Meyer ternary relational semantics
11 Lógica
id ES_19f062f0b2e5d67ac93aa3d12e93f1e4
oai_identifier_str oai:buleria.unileon.es:10612/25670
network_acronym_str ES
network_name_str España
repository_id_str
spelling A basic quasi-Boolean logic of intuitionistic characterRobles Vázquez, GemmaLógicaDe Morgan logicsQuasi-Boolean logicsParaintuitionistic logicsSuperintuitionistic logicsRoutley-Meyer ternary relational semantics11 Lógica[EN] The logic B_{M} is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B_{M} endowed with a quasi-Boolean negation of intuitionistic character included in 3-valued logic G3 and/or 3-valued logic S5_{G3}. Unreduced Routley-Meyer ternary relational semantics are provided for all the logics defined in the paper.SIMinisterio de Economía, Industria y Competitividad (España)Taylor and FrancisLogica y Filosofia de la CienciaFacultad de Filosofia y Letras2020info:eu-repo/semantics/articleinfo:eu-repo/semantics/acceptedVersionhttps://www.tandfonline.com/doi/full/10.1080/11663081.2020.1826155https://hdl.handle.net/10612/25670reponame: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/256702026-06-24T12:43:27Z
dc.title.none.fl_str_mv A basic quasi-Boolean logic of intuitionistic character
title A basic quasi-Boolean logic of intuitionistic character
spellingShingle A basic quasi-Boolean logic of intuitionistic character
Robles Vázquez, Gemma
Lógica
De Morgan logics
Quasi-Boolean logics
Paraintuitionistic logics
Superintuitionistic logics
Routley-Meyer ternary relational semantics
11 Lógica
title_short A basic quasi-Boolean logic of intuitionistic character
title_full A basic quasi-Boolean logic of intuitionistic character
title_fullStr A basic quasi-Boolean logic of intuitionistic character
title_full_unstemmed A basic quasi-Boolean logic of intuitionistic character
title_sort A basic quasi-Boolean logic of intuitionistic character
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
De Morgan logics
Quasi-Boolean logics
Paraintuitionistic logics
Superintuitionistic logics
Routley-Meyer ternary relational semantics
11 Lógica
topic Lógica
De Morgan logics
Quasi-Boolean logics
Paraintuitionistic logics
Superintuitionistic logics
Routley-Meyer ternary relational semantics
11 Lógica
description [EN] The logic B_{M} is Sylvan and Plumwood's minimal De Morgan logic. The aim of this paper is to investigate extensions of B_{M} endowed with a quasi-Boolean negation of intuitionistic character included in 3-valued logic G3 and/or 3-valued logic S5_{G3}. Unreduced Routley-Meyer ternary relational semantics are provided for all the logics defined in the paper.
publishDate 2020
dc.date.none.fl_str_mv 2020
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://www.tandfonline.com/doi/full/10.1080/11663081.2020.1826155
https://hdl.handle.net/10612/25670
url https://www.tandfonline.com/doi/full/10.1080/11663081.2020.1826155
https://hdl.handle.net/10612/25670
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 Taylor and Francis
publisher.none.fl_str_mv Taylor and Francis
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_ 1869404075898961920
score 15,81155

Similares en LA Referencia