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

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. Virtualia Journal, (6). https://doi.org/10.5281/v.j.vi6.3532
Issue
No. 6 (2013): Fundamento (ISSN 2177-6563)
Section
ARTIGOS

Copyright: The texts and images published in the Virtualia Journal are licensed under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. This license allows others to share, adapt, and build upon the published material for any purpose, even commercially, as long as appropriate credit is given to the authors and the journal. To view a copy of this license, visit: https://creativecommons.org/licenses/by/4.0