Confrontando propriedades lógicas em um contexto de lógica universal
Autores
Hércules de Araújo Feitosa
UNESP
Mauri Cunha do Nascimento
UNESP
Luiz Henrique da Cruz Silvestrini
UNESP
Palavras-chave:
Lógica. Operador de consequência. Teoria. Fecho. Compacidade. Dedutibilidade.
Resumo
Este texto apresenta uma definição de lógica universal num ambiente estritamente conjuntista e coteja propriedades lógicas e topológicas neste ambiente abstrato. Ao comparar estas propriedades, testamos a etimologia dos nomes mais usuais das propriedades tratadas e a (não) equivalência entre elas.
