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

Autores/as

  • 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

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.

Descargas

Publicado

2013-09-11

Número

Núm. 6 (2013): Fundamento (ISSN 2177-6563)

Sección

ARTIGOS

Licencia

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

Cómo citar

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

Artículos más leídos del mismo autor/a