Nota Sobre uma Formulação Geométrica para Operadores de ω-Fecho
Autores
Edelcio Gonçalves Souza
Pontifícia Universidade Católica de São Paulo - PUC-SP Faculdade de Filosofia de São Bento
Palavras-chave:
Lógica universal, Operadores de conseqüência, Operadores
Resumo
Pretende-se construir uma teoria geométrica (no sentido do Programa Erlangen de F. Klein) relacionando-se uma certa classe de operadores de conseqüência, denominados operadores de ω-fecho, definidos sobre um conjunto X com a noção de grupos agindo sobre X utilizando-se a partição formada pelas suas órbitas.
