Towards a specification theory for paraconsistent transitions
Autor(a) principal: | |
---|---|
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 |