TÓPICOS DE LÓGICA ABSTRATA
Departamento
Filosofia.
Resumo
Análise das propriedades de estruturas de consequência do tipo (X, Cn) tal que X é um conjunto não vazio e Cn é um operador de consequência definido no conjunto potência de X que possui as propriedades de inclusão, idem-potência, finitude e monotonicidade. Estudam-se algumas variações desse tipo de estrutura com base em estruturas de ordem e outras generalizações. Consideram-se também suas relações com estruturas valorativas obtendo-se para isso teoremas gerais de completude.
Palavras-chave
Lógica; lógica abstrata; operadores de consequência.
Aplicações/produtos
Lindenbaumologia I: a teoria geral. Cognitio: Revista de Filosofia, v. 2, pp. 213-219, 2001. A note on abstract consequence structures. Cognitio: Revista de Filosofia, v. 6, n. 1, pp. 102-109, 2005. "Remarks on Abstract Consequence Structures". In: J-Y Béziau, A. Costa-Leite (orgs.). Perspectives on Universal Logic. 1 ed. Monza: Polimetrica International Scientific Publisher, 2007, pp. 199-204.
Fase em que se encontra o projeto
Ano de início 2001; em andamento.
Pesquisador Responsável
Edelcio Gonçalves de Souza.
Equipe com participação ativa na pesquisa
Edelcio Gonçalves de Souza.