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

Autores

  • Frank Thomas Sautter Uiversidade Federal de Santa Maria
  • Wagner de Campos Sanz Universidade Federal de Goiás image/svg+xml

DOI:

https://doi.org/10.5281/v.j..vi6.3532

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.

Downloads

Publicado

2013-09-11

Como Citar

Teorias axiomáticas: o problema da ampliação da base. (2013). Virtualia Journal, 6. https://doi.org/10.5281/v.j..vi6.3532

Artigos mais lidos pelo mesmo(s) autor(es)