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

Abstract

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.
Published
2013-09-11
How to Cite
Sautter, F. T., & Sanz, W. de C. (2013). Teorias axiomáticas: o problema da ampliação da base. Fundamento, (6). Retrieved from https://periodicos.ufop.br/fundamento/article/view/3532
Issue
No. 6 (2013): Revista Fundamento
Section
ARTIGOS INÉDITOS