Teorias axiomáticas: o problema da ampliação da base

  • Frank Thomas Sautter Uiversidade Federal de Santa Maria
  • Wagner de Campos Sanz Universidade Federal de Goiás

Resumo

Estabelecemos o problema da ampliação, a logicamente mais fraca possível, da base axiomática de uma teoria, e o solucionamos para o caso da Lógica Proposicional Clássica.
Publicado
2013-09-11
Como Citar
Sautter, F. T., & Sanz, W. de C. (2013). Teorias axiomáticas: o problema da ampliação da base. Virtualia Journal, (6). Recuperado de https://periodicos.ufop.br/virtualia-journal/article/view/3532
Edição
n. 6 (2013): Revista Fundamento
Seção
ARTIGOS INÉDITOS