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

Authors

  • 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.

Downloads

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

License

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

Most read articles by the same author(s)