Application of boolean pre-algebras to the foundations of computer science

• Autor(a) principal: Novaes, Marcelo Pereira
• Data de Publicação: 2016
• Tipo de documento: Trabalho de conclusão de curso
• Idioma: eng
• Título da fonte: Repositório Institucional da UFBA
• Texto Completo: http://repositorio.ufba.br/ri/handle/ri/19389
• topic: Lógica Matemática; Pré-algebras Booleanas; Lógica não-clássica; Lógica não-Fregeana; Semântica algébrica

Aumentar a expressividade de um sistema lógico é um objetivo de muitos campos na Ciência da Computação como o de Sistemas Formais, Construção de Co- nhecimento, Linguística, Lógica Universal e Teoria dos modelos. O aumento dessa expressividade pode ser obtido a partir do uso da Lógica não-Fregeana, uma ló- gica não-clássica. Nela, fórmulas com mesmo valor de verdade podem ter diferentes significados ou denotações (também chamadas situações). O seu uso corresponde à quebra do chamado Axioma de Frege, presente por exemplo, na lógica proposicional clássica. Pela não utilização do Axioma de Frege decorre o nome lógica não-Fregeana. Recentemente foi mostrado que há uma equivalência entre pré-algebras Booleanas e modelos na lógica não-Fregeana. Esse fato interligou áreas da lógica que já utiliza- vam essas pré-algebras como modelos. Nesta monografia é feita uma investigação da equivelência especificada e são expostas aplicações dessa semântica em áreas como: Lógica Modal, Teoria da Verdade, Lógica com Quantificadores e Lógica Epistêmica.