Towards a specification theory for paraconsistent transitions

Bibliographic Details
Main Author: Cunha, Juliana Andreia Marques Prazeres da
Publication Date: 2023
Format: Master thesis
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10773/40670
Summary: There are many situations where one needs to express and reason about information in a system that either reinforces or contradicts each other. Such need is one of the main motivations behind paraconsistent logics, that allow inconsistencies to occur without producing the collapse of the whole system. This dissertation presents two logics, framed as institutions, to reason about paraconsistent transition systems and the corresponding processes. This leads to the development of a specification theory, approached in a compositional and structured manner, of paraconsistent transitions.
id RCAP_4b90c7cc5d1e9d5ed7eae9e1ffc525ac
oai_identifier_str oai:ria.ua.pt:10773/40670
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 Towards a specification theory for paraconsistent transitionsCategory theorySpecificationTransition systemsInstitutionsParaconsistencyDynamic logicHybrid logicModal logicThere are many situations where one needs to express and reason about information in a system that either reinforces or contradicts each other. Such need is one of the main motivations behind paraconsistent logics, that allow inconsistencies to occur without producing the collapse of the whole system. This dissertation presents two logics, framed as institutions, to reason about paraconsistent transition systems and the corresponding processes. This leads to the development of a specification theory, approached in a compositional and structured manner, of paraconsistent transitions.Existem muitas situações em que é necessário expressar e racionar sobre informação, num sistema, que ou se reforça ou se contradiz. Tal necessidade é uma das maiores motivações das lógicas paraconsistentes, que possibilitam a ocorrência de inconsistências sem o colapso de todo o sistema. Esta dissertação apresenta duas lógicas, formalizadas como instituições, para racionar sob transições paraconsistentes de sistemas e os seus correspondentes processos. Nesse sentido procura desenvolver uma teoria de especificação, de uma maneira composicional e estruturada, para transições paraconsistentes.2024-02-12T15:25:36Z2023-02-20T00:00:00Z2023-02-20info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10773/40670engCunha, Juliana Andreia Marques Prazeres dainfo: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:52:28Zoai:ria.ua.pt:10773/40670Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T14:23:04.101587Repositó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 Towards a specification theory for paraconsistent transitions
title Towards a specification theory for paraconsistent transitions
spellingShingle Towards a specification theory for paraconsistent transitions
Cunha, Juliana Andreia Marques Prazeres da
Category theory
Specification
Transition systems
Institutions
Paraconsistency
Dynamic logic
Hybrid logic
Modal logic
title_short Towards a specification theory for paraconsistent transitions
title_full Towards a specification theory for paraconsistent transitions
title_fullStr Towards a specification theory for paraconsistent transitions
title_full_unstemmed Towards a specification theory for paraconsistent transitions
title_sort Towards a specification theory for paraconsistent transitions
author Cunha, Juliana Andreia Marques Prazeres da
author_facet Cunha, Juliana Andreia Marques Prazeres da
author_role author
dc.contributor.author.fl_str_mv Cunha, Juliana Andreia Marques Prazeres da
dc.subject.por.fl_str_mv Category theory
Specification
Transition systems
Institutions
Paraconsistency
Dynamic logic
Hybrid logic
Modal logic
topic Category theory
Specification
Transition systems
Institutions
Paraconsistency
Dynamic logic
Hybrid logic
Modal logic
description There are many situations where one needs to express and reason about information in a system that either reinforces or contradicts each other. Such need is one of the main motivations behind paraconsistent logics, that allow inconsistencies to occur without producing the collapse of the whole system. This dissertation presents two logics, framed as institutions, to reason about paraconsistent transition systems and the corresponding processes. This leads to the development of a specification theory, approached in a compositional and structured manner, of paraconsistent transitions.
publishDate 2023
dc.date.none.fl_str_mv 2023-02-20T00:00:00Z
2023-02-20
2024-02-12T15:25:36Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10773/40670
url http://hdl.handle.net/10773/40670
dc.language.iso.fl_str_mv eng
language eng
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.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_ 1833594549820194816

Similar Items