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
DOI: https://doi.org/10.5281/v.j..vi6.3532

Resumen

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
Cómo citar
Sautter, F. T., & Sanz, W. de C. (2013). Teorias axiomáticas: o problema da ampliação da base. Virtualia Journal, (6). https://doi.org/10.5281/v.j.vi6.3532
Número
Núm. 6 (2013): Fundamento (ISSN 2177-6563)
Sección
ARTIGOS

Derechos de Autor: Los textos e imágenes publicados en la Revista Virtualia están bajo la licencia Creative Commons Atribución 4.0 Internacional (CC BY 4.0). Esta licencia permite a otros compartir, adaptar y crear a partir del material publicado para cualquier propósito, incluso comercial, siempre que se otorgue el crédito apropiado a los autores y a la revista. Para ver una copia de esta licencia, visite: https://creativecommons.org/licenses/by/4.0