Fibrilação de logicas na hierarquia de Leibniz

Detalhes bibliográficos
Ano de defesa: 2005
Autor(a) principal: Fernández, Victor Leandro
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: [s.n.]
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Lógica matemática não-clássica
Lógica a multiplos valores
Lógica algébrica
Matrizes (Matemática)
Nonclassical mathematical logic
Logic multivalued.
Logic algebraic
Algebra matrix
Link de acesso: https://hdl.handle.net/20.500.12733/1600884
Resumo: Orientador: Marcelo Esteban Coniglio
id UNICAMP-30_553e367b71ebfab6d12c526e881f2f73
oai_identifier_str oai::350234
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Fibrilação de logicas na hierarquia de LeibnizLógica matemática não-clássicaLógica a multiplos valoresLógica algébricaMatrizes (Matemática)Nonclassical mathematical logicLogic multivalued.Logic algebraicAlgebra matrixOrientador: Marcelo Esteban ConiglioTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Neste trabalho investigamos com um enfoque abstrato um processo de combinações de lógicas conhecido como Fibrilação de lógicas. Em particular estudamos a transferência, mediante fibrilação, de certas propriedades intrínsecas às lógicas proposicionais. As noções mencionadas são as de protoalgebrizabilidade, equivalencialidade e algebrizabilidade. Ditas noções fazem parte da "Hierarquia de Leibniz" , conceito fundamental da chamada Lógica Algébrica Abstrata. Tal hierarquia classifica as diferentes lógicas segundo o seu grau de algebrizabilidade. Assim, nesta tese estudaremos se, quando duas lógicas possuem alguma dessas propriedades, a fibrilação delas possui também tal característica. Com o objetivo de diferençar os diferentes modos de fibrilação existentes na literatura, analisamos duas maneiras de fibrilar lógicas: Fibrilação categorial (ou C-fibrilação) e Fibrilação no sentido de D. Gabbay (G-fibrilação). Também estudamos uma variante da Gfibrilação de lógicas conhecida como Fusão de lógicas. Assim, damos diferentes condições que devem valer para que a C-fibrilação de uma lógica protoalgébrica seja também protoalgébrica, e procedemos de forma similar com as outras propriedades que constituem a Hierarquia de Leibniz. No caso da G-fibrilação e da fusão de lógicas chegamos a diversos resultados análogos aos anteriores, os quais permitem ter uma visão geral da relação entre Lógica Algébrica Abstrata e as Combinações de lógicasAbstract: ln this thesis we investigate, with an abstract approach, a process of combinations of logics known as fibring of logics. ln particular we study the transference by fibring of certain properties, intrinsic to propositionallogics: protoalgebricity, equivalenciality and algebraizability. The notions above belong to the "Leibniz Hierarchy", a fundamental concept of the so-called Abstract Algebraic Logic. Such hierarchy classifies the logics according to its algebraizability degree. So, in this thesis we will study whether, given two logics having some of these properties, the fibring of them still has that property. With the aim of distinguishing the different techniques of fibring existing in the literature, we analyze two methods of fibring logics: Categorial Fibring (or C-fibring) and Fibring in D. Gabbay's sense (G-fibring). We also study a variant of G-fibring known as fusion of logics. So, we give different conditions that must hold in order to obtain a protoalgebraic logic by means of C-fibring of protoalgebric logics. We proceed in a similar way with the other properties that constitutes the Leibniz Hierarchy. With respect to G-fibring and fusion, we arrive to similar results which allow us to get an overview of the relation between Abstract AIgebraic Logic and the subject of combinations of logicsDoutoradoDoutor em Filosofia[s.n.]Coniglio, Marcelo Esteban, 1963-Catuogno, Pedro JoseOttaviano, Itala M. L. DFinger, MarceloVeloso, PauloUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASFernández, Victor Leandro20052005-06-30T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf112p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1600884FERNÁNDEZ, Victor Leandro. Fibrilação de logicas na hierarquia de Leibniz. 2005. 112p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1600884. Acesso em: 27 fev. 2025.https://repositorio.unicamp.br/acervo/detalhe/350234porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T04:17:15Zoai::350234Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T04:17:15Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Fibrilação de logicas na hierarquia de Leibniz
title Fibrilação de logicas na hierarquia de Leibniz
spellingShingle Fibrilação de logicas na hierarquia de Leibniz
Fernández, Victor Leandro
Lógica matemática não-clássica
Lógica a multiplos valores
Lógica algébrica
Matrizes (Matemática)
Nonclassical mathematical logic
Logic multivalued.
Logic algebraic
Algebra matrix
title_short Fibrilação de logicas na hierarquia de Leibniz
title_full Fibrilação de logicas na hierarquia de Leibniz
title_fullStr Fibrilação de logicas na hierarquia de Leibniz
title_full_unstemmed Fibrilação de logicas na hierarquia de Leibniz
title_sort Fibrilação de logicas na hierarquia de Leibniz
author Fernández, Victor Leandro
author_facet Fernández, Victor Leandro
author_role author
dc.contributor.none.fl_str_mv Coniglio, Marcelo Esteban, 1963-
Catuogno, Pedro Jose
Ottaviano, Itala M. L. D
Finger, Marcelo
Veloso, Paulo
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Fernández, Victor Leandro
dc.subject.por.fl_str_mv Lógica matemática não-clássica
Lógica a multiplos valores
Lógica algébrica
Matrizes (Matemática)
Nonclassical mathematical logic
Logic multivalued.
Logic algebraic
Algebra matrix
topic Lógica matemática não-clássica
Lógica a multiplos valores
Lógica algébrica
Matrizes (Matemática)
Nonclassical mathematical logic
Logic multivalued.
Logic algebraic
Algebra matrix
description Orientador: Marcelo Esteban Coniglio
publishDate 2005
dc.date.none.fl_str_mv 2005
2005-06-30T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1600884
FERNÁNDEZ, Victor Leandro. Fibrilação de logicas na hierarquia de Leibniz. 2005. 112p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1600884. Acesso em: 27 fev. 2025.
identifier_str_mv (Broch.)
FERNÁNDEZ, Victor Leandro. Fibrilação de logicas na hierarquia de Leibniz. 2005. 112p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1600884. Acesso em: 27 fev. 2025.
url https://hdl.handle.net/20.500.12733/1600884
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/350234
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
112p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1829137458206343168

Registros relacionados