Relation-changing models meet paraconsistency

Detalhes bibliográficos
Autor(a) principal: Costa, Diana
Data de Publicação: 2023
Outros Autores: Figueiredo, Daniel, Martins, Manuel A.
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10773/37971
Resumo: Switch graphs are graph-like structures characterized by embedding higher-level edges (edges that link to other edges) to describe reactive phenomena. When an edge of such structure is traversed, the accessibility relation of this graph can be changed by adding/removing edges. Relation-changing models have been used to represent phenomena in diverse fields (from Biology to Computer Science) and some modal languages were introduced recently. In this paper we introduce four-valued local information in switch graphs, and propose a paraconsistent logic to study these systems.
id RCAP_a4c92732c2d2b04cc513573a7e7bdfbb
oai_identifier_str oai:ria.ua.pt:10773/37971
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Relation-changing models meet paraconsistencySwitch graphs are graph-like structures characterized by embedding higher-level edges (edges that link to other edges) to describe reactive phenomena. When an edge of such structure is traversed, the accessibility relation of this graph can be changed by adding/removing edges. Relation-changing models have been used to represent phenomena in diverse fields (from Biology to Computer Science) and some modal languages were introduced recently. In this paper we introduce four-valued local information in switch graphs, and propose a paraconsistent logic to study these systems.Elsevier2023-06-07T15:33:14Z2023-03-15T00:00:00Z2023-03-15info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10773/37971eng2352-220810.1016/j.jlamp.2023.100870Costa, DianaFigueiredo, DanielMartins, Manuel A.info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-02-22T12:11:57Zoai:ria.ua.pt:10773/37971Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:07:54.793966Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Relation-changing models meet paraconsistency
title Relation-changing models meet paraconsistency
spellingShingle Relation-changing models meet paraconsistency
Costa, Diana
title_short Relation-changing models meet paraconsistency
title_full Relation-changing models meet paraconsistency
title_fullStr Relation-changing models meet paraconsistency
title_full_unstemmed Relation-changing models meet paraconsistency
title_sort Relation-changing models meet paraconsistency
author Costa, Diana
author_facet Costa, Diana
Figueiredo, Daniel
Martins, Manuel A.
author_role author
author2 Figueiredo, Daniel
Martins, Manuel A.
author2_role author
author
dc.contributor.author.fl_str_mv Costa, Diana
Figueiredo, Daniel
Martins, Manuel A.
description Switch graphs are graph-like structures characterized by embedding higher-level edges (edges that link to other edges) to describe reactive phenomena. When an edge of such structure is traversed, the accessibility relation of this graph can be changed by adding/removing edges. Relation-changing models have been used to represent phenomena in diverse fields (from Biology to Computer Science) and some modal languages were introduced recently. In this paper we introduce four-valued local information in switch graphs, and propose a paraconsistent logic to study these systems.
publishDate 2023
dc.date.none.fl_str_mv 2023-06-07T15:33:14Z
2023-03-15T00:00:00Z
2023-03-15
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10773/37971
url http://hdl.handle.net/10773/37971
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 2352-2208
10.1016/j.jlamp.2023.100870
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799137733165187072

Registros relacionados