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

PDF views
395
Sep 07 '18Sep 10 '18Sep 13 '18Sep 16 '18Sep 19 '18Sep 22 '18Sep 25 '18Sep 28 '18Oct 01 '18Oct 04 '184.0
| |

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