Uma caracterização de adjunção em um sistema modal multivalorado

Autores

DOI:

https://doi.org/10.21167/cqdv25e25005

Palavras-chave:

Conexões de Galois, Lógica polivalente, Lógica modal, Lógica algébrica

Resumo

Conexões de Galois são pares de funções, definidas sobre conjuntos ordenados, que preservam alguns aspectos
particulares. Elas são estudadas no contexto das estruturas algébricas. Como um tema lógico, consideramos a
lógica de quatro valores PM4N, que contempla, pelo menos, dois operadores modais para as noções de necessário
e possível. Neste artigo, desenvolvemos uma particular implicação para o sistema de quatro valores PM4N, que
se constitui em um par de Galois para estes dois operadores modais. Então, mostramos algumas propriedades da
lógica que decorrem dos desenvolvimentos algébricos dos pares de Galois.

Biografia do Autor

Hércules de Araújo Feitosa, Unesp/Departamento de Matemática

Licenciado em Matemática pela Fundação Educacional de Bauru (1984), mestre em
Fundamentos da Matemática pela Universidade Estadual Paulista - UNESP - IGCE (1992) e
doutor em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas - UNICAMP
- IFCH (1998). Desde 1988 é professor na UNESP, Faculdade de Ciências, Departamento de
Matemática, Câmpus de Bauru. No momento é professor associado (livre docente) e é
credenciado no Programa de Pós-Graduação em Filosofia da UNESP - FFC - Marília. Sua
experiência acadêmica tem ênfase no ensino de Lógica e Fundamentos da Matemática e suas
investigações científicas estão voltadas para lógica, traduções entre lógicas, modelos
algébricos, quantificadores e lógicas não clássicas.

Romulo Albano de Freitas, Unesp/FC

Graduado em Licenciatura em Matemática pela Universidade Estadual Paulista "Júlio de Mesquita Filho" - Unesp, campus de Bauru. É membro do grupo de pesquisa, certificado pelo CNPQ, "Sistemas Adaptativos, Lógica e Computação Inteligente" (SALCI). Tem experiência em ensino e pesquisa em Lógica. Atualmente, mestrando pelo Programa de Pós-Graduação em Filosofia da FFC - Unesp Marília, com ênfase em Lógica. Têm interesse em desenvolvimentos algébricos para lógica/lógicas algébricas, lógicas não-clássicas e teoria da prova.

Downloads

Publicado

08-07-2025

Como Citar

DE ARAÚJO FEITOSA, H.; ALBANO DE FREITAS, R. Uma caracterização de adjunção em um sistema modal multivalorado. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 25, p. e25005, 2025. DOI: 10.21167/cqdv25e25005. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/489. Acesso em: 11 jul. 2025.

Edição

Seção

Edição Especial ERMAC 2024