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.

Downloads

Edição

Seção

Artigos Cognitio