SOBRE PARES DE FUNÇÕES DE GALOIS: UMA ADJUNÇÃO MOTIVADA PELAS TRADUÇÕES ENTRE LÓGICAS

Autores

  • Hercules de Araujo Feitosa
  • Mauri Cunha do Nascimento
  • Cristiane Alexandra Lázaro

Resumo

Apresentamos conceitos algébricos básicos e fundamentais para o desenvolvimento teórico dos pares de Galois. Então enunciamos as definições de pares de Galois e fazemos breves comparações entre os conceitos. Destacamos as adjunções, que caracterizam um caso de par de Galois e mostramos algumas de suas propriedades essenciais. Como resultado original, introduzimos uma conexão de Galois que envolve conceito abstrato e universal de tradução entre lógicas.

 

Palavras Chave: Pares de Galois, adjunções, conexões de Galois

Downloads

Publicado

03/02/2020

Como Citar

de Araujo Feitosa, H., Cunha do Nascimento, M., & Alexandra Lázaro, C. (2020). SOBRE PARES DE FUNÇÕES DE GALOIS: UMA ADJUNÇÃO MOTIVADA PELAS TRADUÇÕES ENTRE LÓGICAS. Revista Contemplação, (20). Recuperado de https://revista.fajopa.com/index.php/contemplacao/article/view/207

Edição

n. 20 (2019)

Seção

Artigos