Confrontando propriedades lógicas em um contexto de lógica universal

Hércules de Araújo Feitosa; Mauri Cunha do Nascimento; Luiz Henrique da Cruz Silvestrini

Confrontando propriedades lógicas em um contexto de lógica universal

Autores/as

Hércules de Araújo Feitosa UNESP
Mauri Cunha do Nascimento UNESP
Luiz Henrique da Cruz Silvestrini UNESP

Palabras clave:

Lógica. Operador de consequência. Teoria. Fecho. Compacidade. Dedutibilidade.

Resumen

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.

Métricas

Cargando métricas ...

Descargas

PDF (Português (Brasil))

Publicado

2015-04-30

Cómo citar

Feitosa, H. de A., Nascimento, M. C. do, & Silvestrini, L. H. da C. (2015). Confrontando propriedades lógicas em um contexto de lógica universal. Cognitio: Revista De Filosofia, 15(2), 333–348. Recuperado a partir de https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/23077