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

Authors

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

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

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

How to Cite

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

Most read articles by the same author(s)