DSpace
 
  Repositório Institucional da Universidade de Aveiro > Departamento de Matemática > MAT - Dissertações de mestrado >
 Leibniz hierarchy
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/2916

title: Leibniz hierarchy
authors: Poças, Jacinta Rodrigues
advisors: Martins, Manuel A.
keywords: Matemática
Lógica algébrica
Operadores algébricos
Teoria de hierarquia
issue date: 2009
publisher: Universidade de Aveiro
abstract: A Lógica Algébrica Abstracta estuda o processo pelo qual uma classe de álgebras pode ser associada a uma lógica. Nesta dissertação, analisamos este processo agrupando lógicas partilhando certas propriedades em classes. O conceito central neste estudo é a congruência de Leibniz que assume o papel desempenhado pela equivalência no processo tradicional de Lindenbaum- Tarski. Apresentamos uma hierarquia entre essas classes que é designada por hierarquia de Leibniz, caracterizando as lógicas de cada classe por propriedades meta-lógicas, por exemplo propriedades do operador de Leibniz. Estudamos também a recente abordagem comportamental que usa lógicas multigénero, lógica equacional comportamental e, consequentemente, uma versão comportamental do operador de Leibniz. Neste contexto, apresentamos alguns exemplos, aos quais aplicamos esta nova teoria, capturando alguns fenómenos de algebrização que não era possível formalizar com a abordagem standard. ABSTRACT: Abstract Algebraic logic studies the process by which a class of algebras can be associated with a logic. In this dissertation, we analyse this process by grouping logics sharing certain properties into classes. The central concept in this study is the Leibniz Congruence that assumes the role developed by the equivalence in the traditional Lindenbaum-Tarski process. We show a hierarchy between these classes, designated by Leibniz hierarchy, by characterizing logics in each class by meta-logical properties, for example properties of the Leibniz operator. We also study a recent behavioral approach which uses many-sorted logics, behavioral equational logic and, consequently, a behavioral version of the Leibniz operator. In this context, we provide some examples, to which we apply this new theory, capturing some phenomena of algebraization that are not possible to formalize using the standard approach.
description: Mestrado em Matemática
URI: http://hdl.handle.net/10773/2916
appears in collectionsMAT - Dissertações de mestrado
UA - Dissertações de mestrado

files in this item

file sizeformat
2009001308.pdf1.01 MBAdobe PDFview/open
statistics

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