Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/34317
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cruz, Ana | pt_PT |
dc.contributor.author | Madeira, Alexandre | pt_PT |
dc.contributor.author | Barbosa, Luís Soares | pt_PT |
dc.date.accessioned | 2022-07-27T09:02:05Z | - |
dc.date.available | 2022-07-27T09:02:05Z | - |
dc.date.issued | 2022-04-14 | - |
dc.identifier.uri | http://hdl.handle.net/10773/34317 | - |
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. | pt_PT |
dc.language.iso | eng | pt_PT |
dc.publisher | Open Publishing Association | pt_PT |
dc.relation | info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F4280%2F2021/PT | pt_PT |
dc.rights | openAccess | pt_PT |
dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | pt_PT |
dc.subject | Paraconsistent logic | pt_PT |
dc.subject | Modal logic | pt_PT |
dc.title | A logic for paraconsistent transition systems | pt_PT |
dc.type | article | pt_PT |
dc.description.version | published | pt_PT |
dc.peerreviewed | yes | pt_PT |
degois.publication.firstPage | 270 | pt_PT |
degois.publication.lastPage | 284 | pt_PT |
degois.publication.title | Electronic Proceedings in Theoretical Computer Science, EPTCS | pt_PT |
degois.publication.volume | 358 | - |
dc.identifier.doi | 10.4204/EPTCS.358.20 | pt_PT |
Appears in Collections: | CIDMA - Capítulo de livro AGG - Capítulo de livro |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
2204.06737v1.pdf | 173.41 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.