Repositório Institucional da Universidade de Aveiro > Departamento de Matemática > MAT - Artigos >
 Behavioral algebraization of logics
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/6595

title: Behavioral algebraization of logics
authors: Caleiro, C.
Gonçalves, R.
Martins, Manuel A.
keywords: Abstract algebraic logic
Many-sorted behavioral logic
Non-truth- functionality
issue date: 2009
publisher: Springer
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.
URI: http://hdl.handle.net/10773/6595
ISSN: 0039-3215
publisher version/DOI: http://dx.doi.org/10.1007/s11225-009-9163-8
source: Studia Logica
appears in collectionsMAT - Artigos

files in this item

file description sizeformat
07-CGM-behAlgLogics.pdfPreprint394.56 kBAdobe PDFview/open
Restrict Access. You can Request a copy!

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! RCAAP OpenAIRE DeGóis
ria-repositorio@ua.pt - Copyright ©   Universidade de Aveiro - RIA Statistics - Powered by MIT's DSpace software, Version 1.6.2