Pares de Galois e espaços de Tarski

Autores

  • Hércules de Araujo Feitosa UNESP – FC – Bauru
  • Cristiane Alexandra Lazaro UNESP – FC – Bauru
  • Mauri Cunha do Nascimento UNESP – FC – Bauru

DOI:

https://doi.org/10.23925/2316-5278.2018v19i1p110-132

Palavras-chave:

Conexões de Galois, Espaços de Tarski, Operador de consequência, Pares de Galois.

Resumo

Apresentamos conceitos algébricos básicos e fundamentais como conjuntos ordenados, reticulados, álgebra de Boole e as TK-álgebras. Destacamos os espaços de Tarski, associados ao conceito de sistema dedutivo (de Tarski) e sua apresentação quase topológica. Então, apresentamos a Lógica da Dedutibilidade, vinda da formalização lógica dos espaços de Tarski. A seguir, trazemos os pares de funções de Galois, que surgem em muitos tópicos da Matemática. Como resultado original, além de alguns desenvolvimentos teóricos, destacamos uma conexão de Galois com os espaços de Tarski.

Metrics

Carregando Métricas ...

Downloads

Publicado

2018-09-06

Como Citar

Feitosa, H. de A., Lazaro, C. A., & Nascimento, M. C. do. (2018). Pares de Galois e espaços de Tarski. Cognitio: Revista De Filosofia, 19(1), 110–132. https://doi.org/10.23925/2316-5278.2018v19i1p110-132

Edição

v. 19 n. 1 (2018)

Seção

Artigos Cognitio