A logic for paraconsistent transition systems

Detalhes bibliográficos
Autor(a) principal: Ana Cruz
Data de Publicação: 2022
Outros Autores: Alexandre Madeira, Barbosa, L. S.
Idioma: eng
Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: https://hdl.handle.net/1822/90281
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_84b3b4d1aa31a1c6c6cbd4ed090fca7e
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/90281
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling A logic for paraconsistent transition systemsParaconsistencyParaconsistent logicCiências Naturais::Ciências da Computação e da InformaçãoModelling 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.This work was funded in the context of project IBEX (PTDC/CCI-COM/4280/2021), by FCT, the Portuguese funding agency for Science and Technology.Open Publishing AssociationUniversidade do MinhoAna CruzAlexandre MadeiraBarbosa, L. S.20222022-01-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://hdl.handle.net/1822/90281engCruz, A., Madeira, A., & Soares Barbosa, L. (2022, April 14). A Logic for Paraconsistent Transition Systems. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. http://doi.org/10.4204/eptcs.358.202075-218010.4204/EPTCS.358.20https://arxiv.org/abs/2204.06737v1info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-12-14T01:17:17Zoai:repositorium.sdum.uminho.pt:1822/90281Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T14:54:43.695647Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
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
Ana Cruz
Paraconsistency
Paraconsistent logic
Ciências Naturais::Ciências da Computação e da Informação
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 Ana Cruz
author_facet Ana Cruz
Alexandre Madeira
Barbosa, L. S.
author_role author
author2 Alexandre Madeira
Barbosa, L. S.
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Ana Cruz
Alexandre Madeira
Barbosa, L. S.
dc.subject.por.fl_str_mv Paraconsistency
Paraconsistent logic
Ciências Naturais::Ciências da Computação e da Informação
topic Paraconsistency
Paraconsistent logic
Ciências Naturais::Ciências da Computação e da Informação
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
2022-01-01T00:00:00Z
dc.type.driver.fl_str_mv conference paper
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/90281
url https://hdl.handle.net/1822/90281
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Cruz, A., Madeira, A., & Soares Barbosa, L. (2022, April 14). A Logic for Paraconsistent Transition Systems. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. http://doi.org/10.4204/eptcs.358.20
2075-2180
10.4204/EPTCS.358.20
https://arxiv.org/abs/2204.06737v1
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órios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833594970569703424

Registros relacionados