• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Tese de Doutorado
DOI
Documento
Autor
Nome completo
Darllan Conceição Pinto
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2016
Orientador
Banca examinadora
Mariano, Hugo Luiz (Presidente)
Bianconi, Ricardo
Brunner, Andreas Bernhard Michael
Coniglio, Marcelo Esteban
Freire, Rodrigo de Alvarenga
Título em português
Uma fundamentação categorial para uma teoria de representação de lógicas
Palavras-chave em português
Lógicas algébricas abstratas
Lógicas algebrizáveis
Teoria das categorias
Resumo em português
Neste trabalho estabelecemos uma base teórica para a construção de uma teoria de rep- resentação de lógicas proposicionais. Iniciamos identificando uma relação precisa entre a categoria das lógicas (Blok-Pigozzi) algebrizáveis e a categoria de suas classes de álgebras associadas. Assim obtemos codificações funtoriais para as equipolências e morfismos den- sos entre lógicas. Na tentativa de generalizar os resultados obtidos sobre a codificação dos morfismos entre lógicas algebrizáveis, introduzimos a noção de funtor filtro e sua lógica asso- ciada. Classificamos alguns tipos especiais de lógicas e um estudo da propriedade metalógica de interpolação de Craig via amalgamação em matrizes para lógicas não-protoalgebrizáveis, e estabelecemos a relação entre a categoria dos funtores filtros e a categoria de lógicas. Em seguida, empregamos noções da teoria das instituições para definir instituições para as lógicas proposicionais abstratas, para uma lógica algebrizável e para uma lógica Lindenbaum alge- brizável. Sobre a instituição das lógicas algebrizáveis (lógicas Lindenbaum algebrizáveis), estabelecemos uma versão abstrata do Teorema de Glivenko e que é exatamente o tradi- cional teorema de Glivenko quando aplicado entre a lógica clássica e intuicionista. Por fim, influenciado pela teoria de representação para anéis, apresentamos os primeiros passos da teoria de representação de lógicas. Introduzimos as definições de diagramas modelos à esquerda para uma lógica, Morita equivalência e Morita equivalência estável para lógicas. Mostramos que quaisquer representações para lógica clássica são estavelmente Morita equiv- alentes, entretanto a lógica clássica e intuicionista não são estavelmente Morita equivalentes.
Título em inglês
A categorial foundation for a representation theory of logics
Palavras-chave em inglês
Abstract algebraic logic
Algebraizable logic
Category theory
Resumo em inglês
In this work we provide a framework in order to build a representation theory of proposi- tional logics. We begin identifying a precise relation between the category of (Blok-Pigozzi) algebraizable logic and the category of their classes of associated algebras. Then, we have a functorial codification for the equipollence and dense morphisms between logics. Attempt- ing generalize the results found before about codification of morphisms among algebraizable logics, we introduce the notion of filter functor and its associated logic. We classify some special kinds of logics and a study of a meta-logical Craig interpolation property via matri- ces amalgamation for non-protoalgebraizable logics, and we establish a relation between the category of filter functors and the category of logics. In the sequel, we employ notions of institution theory to define the institutions for the abstract propositional logics, for an al- gebraizable logic and Lindenbaum algebraizable logic. On the institutions for algebraizable logics (Lindenbaum algebraizable logics), we introduce the abstract Glivenkos theorem and this notion is exactly the traditional Glivenkos theorem when applied between the classical logic and intuitionistic logic. At last, influenced by the representation theory of rings, we present the first steps on the representation theory of logics. We introduce the definition of left diagram model for a logic, Morita equivalence of logics and stably-Morita equivalence for logics. We have showed that any presentation for classical logic are stably-Morita equivalent, but the classical logic and intuitionistic logic are not stably-Morita equivalent.
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2019-09-25
 
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2019. Todos os direitos reservados.