Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/37971
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Costa, Diana | pt_PT |
dc.contributor.author | Figueiredo, Daniel | pt_PT |
dc.contributor.author | Martins, Manuel A. | pt_PT |
dc.date.accessioned | 2023-06-07T15:33:14Z | - |
dc.date.available | 2023-06-07T15:33:14Z | - |
dc.date.issued | 2023-03-15 | - |
dc.identifier.issn | 2352-2208 | pt_PT |
dc.identifier.uri | http://hdl.handle.net/10773/37971 | - |
dc.description.abstract | Switch graphs are graph-like structures characterized by embedding higher-level edges (edges that link to other edges) to describe reactive phenomena. When an edge of such structure is traversed, the accessibility relation of this graph can be changed by adding/removing edges. Relation-changing models have been used to represent phenomena in diverse fields (from Biology to Computer Science) and some modal languages were introduced recently. In this paper we introduce four-valued local information in switch graphs, and propose a paraconsistent logic to study these systems. | pt_PT |
dc.language.iso | eng | pt_PT |
dc.publisher | Elsevier | pt_PT |
dc.relation | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04106%2F2020/PT | pt_PT |
dc.relation | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00408%2F2020/PT | pt_PT |
dc.relation | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDP%2F00408%2F2020/PT | pt_PT |
dc.rights | openAccess | pt_PT |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | pt_PT |
dc.title | Relation-changing models meet paraconsistency | pt_PT |
dc.type | article | pt_PT |
dc.description.version | published | pt_PT |
dc.peerreviewed | yes | pt_PT |
degois.publication.title | Journal of Logical and Algebraic Methods in Programming | pt_PT |
degois.publication.volume | 133 | pt_PT |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S235222082300024X?via%3Dihub | pt_PT |
dc.identifier.doi | 10.1016/j.jlamp.2023.100870 | pt_PT |
dc.identifier.essn | 2352-2216 | pt_PT |
dc.identifier.articlenumber | 100870 | pt_PT |
Appears in Collections: | CIDMA - Artigos AGG - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1-s2.0-S235222082300024X-main.pdf | 476.89 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.