Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/36942
Título: | Paraconsistent transition systems |
Autor: | Cruz, Ana Madeira, Alexandre Barbosa, Luís S. |
Palavras-chave: | Paraconsistent logic Modal logic |
Data: | 23-Mar-2023 |
Resumo: | Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific residuated lattice. A category of these systems, and the corresponding algebra, is defined as providing a formal setting to model different application scenarios. One of them, dealing with the effect of quantum decoherence in quantum programs, is used for illustration purposes. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/36942 |
DOI: | 10.4204/EPTCS.376.3 |
Aparece nas coleções: | CIDMA - Artigos AGG - Artigos |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2303.13254v1.pdf | 370.29 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.