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.