Towards a specification theory for paraconsistent transitions

Detalhes bibliográficos
Autor(a) principal: Cunha, Juliana Andreia Marques Prazeres da
Data de Publicação: 2023
Tipo de documento: Dissertação
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/40670
Resumo: 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ório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 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ó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:19:38Zoai:ria.ua.pt:10773/40670Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:10:35.994656Repositó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 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ó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_ 1799137756442525696

Registros relacionados