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

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.

Palavras-chave


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

Texto completo:

PDF

Métricas do artigo

Carregando Métricas ...

Metrics powered by PLOS ALM

Apontamentos

  • Não há apontamentos.


Apoio:

PUC-SP    PIPEq PUC-SP


Idexadores:

Google Scholar    Open Archives Initiative    ROAD

Preservação Digital:

LOCKSS    CLOKSS     KEEPERS    Rede Cariniana