Lindenbaumologia II: Cálculos Lógicos Abstratos

Autores

  • Edelcio Gonçalves de Souza
  • Patrícia Del Nero Velasco

Palavras-chave:

lógica, cálculo, Lindenbaum, consistência, compacidade

Resumo

Neste artigo, damos prosseguimento à análise do conceito de cálculo lógico, cuja primeira parte foi apresentada no número anterior desta revista. Apresentamos, também, uma versão do Teorema de Lindenbaum para teorias consistentes completas.