Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/6595
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Caleiro, C. | pt |
dc.contributor.author | Gonçalves, R. | pt |
dc.contributor.author | Martins, Manuel A. | pt |
dc.date.accessioned | 2012-02-17T14:34:34Z | - |
dc.date.issued | 2009 | - |
dc.identifier.issn | 0039-3215 | pt |
dc.identifier.uri | http://hdl.handle.net/10773/6595 | - |
dc.description.abstract | We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of AAL toward providing a meaningful algebraic counterpart also to logics with a many-sorted language, and possibly including non-truth-functional connectives. The proposed behavioral approach covers logics which are not algebraizable according to the standard approach, while also bringing a new algebraic perspective to logics which are algebraizable using the standard tools of AAL. Furthermore, we pave the way toward a robust behavioral theory of AAL, namely by providing a behavioral version of the Leibniz operator which allows us to generalize the traditional Leibniz hierarchy, as well as several well-known characterization results. A number of meaningful examples will be used to illustrate the novelties and advantages of the approach. © 2009 Springer Science+Business Media B.V. | pt |
dc.description.sponsorship | FCT via UIMA | pt |
dc.language.iso | eng | pt |
dc.publisher | Springer | pt |
dc.relation.uri | http://www.scopus.com/inward/record.url?eid=2-s2.0-59549106251&partnerID=40&md5=f0c82a3b940842f0f040792963ddd7ec | |
dc.rights | restrictedAccess | por |
dc.subject | Abstract algebraic logic | pt |
dc.subject | Many-sorted behavioral logic | pt |
dc.subject | Non-truth- functionality | pt |
dc.title | Behavioral algebraization of logics | pt |
dc.type | article | pt |
dc.peerreviewed | yes | pt |
ua.distribution | international | pt |
degois.publication.firstPage | 63 | pt |
degois.publication.issue | 1 | pt |
degois.publication.issue | 1 | |
degois.publication.lastPage | 111 | pt |
degois.publication.title | Studia Logica | pt |
degois.publication.volume | 91 | pt |
dc.date.embargo | 10000-01-01 | - |
dc.identifier.doi | 10.1007/s11225-009-9163-8 | * |
Appears in Collections: | DMat - Artigos |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
07-CGM-behAlgLogics.pdf | Preprint | 394.56 kB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.