A logic for paraconsistent transition systems

Bibliographic Details
Main Author: Cruz, Ana
Publication Date: 2022
Other Authors: Madeira, Alexandre, Barbosa, Luís Soares
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10773/34317
Summary: 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órios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/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ó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-05-06T04:37:31Zoai:ria.ua.pt:10773/34317Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T14:14:57.276701Repositó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
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ó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_ 1833594431732711424

Similar Items