Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/90281
Título: | A logic for paraconsistent transition systems |
Autor(es): | Ana Cruz Alexandre Madeira Barbosa, L. S. |
Palavras-chave: | Paraconsistency Paraconsistent logic |
Data: | 2022 |
Editora: | Open Publishing Association |
Revista: | Electronic Proceedings in Theoretical Computer Science |
Citação: | Cruz, A., Madeira, A., & Soares Barbosa, L. (2022, April 14). A Logic for Paraconsistent Transition Systems. Electronic Proceedings in Theoretical Computer Science. Open Publishing Association. http://doi.org/10.4204/eptcs.358.20 |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/90281 |
DOI: | 10.4204/EPTCS.358.20 |
ISSN: | 2075-2180 |
Versão da editora: | https://arxiv.org/abs/2204.06737v1 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
cruz22.pdf | 171,64 kB | Adobe PDF | Ver/Abrir |