A logic for paraconsistent transition systems

Detalhes bibliográficos
Autor(a) principal: Cruz, Ana
Data de Publicação: 2022
Outros Autores: Madeira, Alexandre, Barbosa, Luís Soares
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/34317
Resumo: Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge representation, simulation of biological systems, or quantum computation, inconsistency has to be addressed in a precise and controlled way. This paper generalises Belnap-Dunn four-valued logic, introducing paraconsistent transition systems (PTS), endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values, and their modal logic.
id RCAP_62ca246e5b59103e47b4535d34fae9bb
oai_identifier_str oai:ria.ua.pt:10773/34317
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 A logic for paraconsistent transition systemsParaconsistent logicModal logicModelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge representation, simulation of biological systems, or quantum computation, inconsistency has to be addressed in a precise and controlled way. This paper generalises Belnap-Dunn four-valued logic, introducing paraconsistent transition systems (PTS), endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values, and their modal logic.Open Publishing Association2022-07-27T09:02:05Z2022-04-14T00:00:00Z2022-04-14info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10773/34317eng10.4204/EPTCS.358.20Cruz, AnaMadeira, AlexandreBarbosa, Luís Soaresinfo: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:05:09Zoai:ria.ua.pt:10773/34317Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:05:12.171132Repositó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 A logic for paraconsistent transition systems
title A logic for paraconsistent transition systems
spellingShingle A logic for paraconsistent transition systems
Cruz, Ana
Paraconsistent logic
Modal logic
title_short A logic for paraconsistent transition systems
title_full A logic for paraconsistent transition systems
title_fullStr A logic for paraconsistent transition systems
title_full_unstemmed A logic for paraconsistent transition systems
title_sort A logic for paraconsistent transition systems
author Cruz, Ana
author_facet Cruz, Ana
Madeira, Alexandre
Barbosa, Luís Soares
author_role author
author2 Madeira, Alexandre
Barbosa, Luís Soares
author2_role author
author
dc.contributor.author.fl_str_mv Cruz, Ana
Madeira, Alexandre
Barbosa, Luís Soares
dc.subject.por.fl_str_mv Paraconsistent logic
Modal logic
topic Paraconsistent logic
Modal logic
description Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge representation, simulation of biological systems, or quantum computation, inconsistency has to be addressed in a precise and controlled way. This paper generalises Belnap-Dunn four-valued logic, introducing paraconsistent transition systems (PTS), endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values, and their modal logic.
publishDate 2022
dc.date.none.fl_str_mv 2022-07-27T09:02:05Z
2022-04-14T00:00:00Z
2022-04-14
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/34317
url http://hdl.handle.net/10773/34317
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.4204/EPTCS.358.20
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 Open Publishing Association
publisher.none.fl_str_mv Open Publishing Association
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_ 1799137707134287872

Registros relacionados