Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/16014
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Costa, Diana | pt |
dc.contributor.author | Martins, Manuel A. | pt |
dc.date.accessioned | 2016-08-26T09:15:10Z | - |
dc.date.available | 2018-07-20T14:00:55Z | - |
dc.date.issued | 2016-06-12 | - |
dc.identifier.isbn | 978-3-319-40228-4 | pt |
dc.identifier.uri | http://hdl.handle.net/10773/16014 | - |
dc.description.abstract | Hybrid logic is a valuable tool for specifying relational structures, at the same time that allows defining accessibility relations between states, it provides a way to nominate and make mention to what happens at each specific state. However, due to the many sources nowadays available, we may need to deal with contradictory information. This is the reason why we came with the idea of Quasi-hybrid logic, which is a paraconsistent version of hybrid logic capable of dealing with inconsistencies in the information, written as hybrid formulas. In [5] we have already developed a semantics for this paraconsistent logic. In this paper we go a step forward, namely we study its proof-theoretical aspects. We present a complete tableau system for Quasi-hybrid logic, by combining both tableaux for Quasi-classical and Hybrid logics. | pt |
dc.language.iso | eng | pt |
dc.publisher | Springer International Publishing | pt |
dc.relation | FCT - UID/MAT/04106/2013 | pt |
dc.relation | info:eu-repo/grantAgreement/EC/FP7/318986 | pt |
dc.relation | FCT - PD/BD/105730/2014 | pt |
dc.relation | Calouste Gulbenkian Foundation - Programa de Estímulo à Investigação 2015 | pt |
dc.rights | openAccess | por |
dc.subject | Quasi-hybrid logic | pt |
dc.subject | Tableaux system | pt |
dc.title | A tableau system for Quasi-hybrid logic | pt |
dc.type | bookPart | pt |
degois.publication.firstPage | 435 | pt |
degois.publication.lastPage | 451 | pt |
degois.publication.title | Automated Reasoning | pt |
dc.date.embargo | 2018-06-06T09:00:00Z | - |
dc.identifier.doi | 10.1007/978-3-319-40229-1_30 | pt |
Appears in Collections: | CIDMA - Capítulo de livro AGG - Capítulo de livro |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Final.pdf | Documento principal | 302.27 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.