Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/6595
Título: | Behavioral algebraization of logics |
Autor: | Caleiro, C. Gonçalves, R. Martins, Manuel A. |
Palavras-chave: | Abstract algebraic logic Many-sorted behavioral logic Non-truth- functionality |
Data: | 2009 |
Editora: | Springer |
Resumo: | 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. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/6595 |
DOI: | 10.1007/s11225-009-9163-8 |
ISSN: | 0039-3215 |
Aparece nas coleções: | DMat - Artigos |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
07-CGM-behAlgLogics.pdf | Preprint | 394.56 kB | Adobe PDF |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.