Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/90281
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Ana Cruz | por |
dc.contributor.author | Alexandre Madeira | por |
dc.contributor.author | Barbosa, L. S. | por |
dc.date.accessioned | 2024-03-28T17:53:41Z | - |
dc.date.available | 2024-03-28T17:53:41Z | - |
dc.date.issued | 2022 | - |
dc.identifier.citation | 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 | por |
dc.identifier.issn | 2075-2180 | - |
dc.identifier.uri | https://hdl.handle.net/1822/90281 | - |
dc.description.abstract | 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. | por |
dc.description.sponsorship | This work was funded in the context of project IBEX (PTDC/CCI-COM/4280/2021), by FCT, the Portuguese funding agency for Science and Technology. | por |
dc.language.iso | eng | por |
dc.publisher | Open Publishing Association | por |
dc.relation | info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F4280%2F2021/PT | por |
dc.rights | openAccess | por |
dc.subject | Paraconsistency | por |
dc.subject | Paraconsistent logic | por |
dc.title | A logic for paraconsistent transition systems | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://arxiv.org/abs/2204.06737v1 | por |
oaire.citationStartPage | 270 | por |
oaire.citationEndPage | 284 | por |
oaire.citationVolume | 358 | por |
dc.identifier.doi | 10.4204/EPTCS.358.20 | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
sdum.journal | Electronic Proceedings in Theoretical Computer Science | por |
sdum.conferencePublication | EPTCS 358: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Lodz, Poland, 14-18 March 2022 | por |
oaire.version | VoR | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
cruz22.pdf | 171,64 kB | Adobe PDF | Ver/Abrir |