Teorias axiomáticas: o problema da ampliação da base
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. Fundamento, (6). Recuperado de https://periodicos.ufop.br/fundamento/article/view/3532
Seção
ARTIGOS INÉDITOS