Reticulados distributivos com uma adjunção
DOI:
https://doi.org/10.21167/cqdv23n12023061081Palavras-chave:
Modelo algébrico, Par de Galois, Reticulados, Lógica Positiva.Resumo
Neste trabalho, propomos a junção de dois tópicos algébricos bastante conhecidos, de modo independentes, e como eles
se relacionam com sistemas lógicos subjacentes. Os tópicos algébricos são os reticulados distributivos e os pares de Galois. Como são vários os pares de Galois, optamos por tratar de um destes pares, a adjunção. Como é conhecido na literatura sobre lógicas algébricas, reticulados distributivos são modelos algébricos para a Lógica Positiva, um sistema lógico proposicional que não conta com o operador de negação. Os operadores de conjunção, disjunção e condicional se comportam de modo muito similar aos correspondentes operadores clássicos. Como em todo reticulado temos a noção de ordem, temos meios iniciais para caracterizarmos os pares de Galois sobre esta estrutura algébrica. Faremos, então, o acréscimo de operadores modais ao sistema positivo para formalizarmos o referido par de Galois, a adjunção, no ambiente lógico, como contraparte da justaposição das duas estruturas algébricas.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Copyright (c) 2023 C.Q.D. - Revista Eletrônica Paulista de Matemática
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.