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

Frank Thomas Sautter; Wagner de Campos Sanz

doi:10.5281/v.j..vi6.3532

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

Resumo

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

Como 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

Baixar Citação

Edição

n. 6 (2013): Fundamento (ISSN 2177-6563)

Seção

ARTIGOS

Direitos Autorais: Os textos e imagens publicados na Revista Virtualia estão licenciados sob a Creative Commons Atribuição 4.0 Internacional (CC BY 4.0). Esta licença permite que outros compartilhem, adaptem, e criem a partir do material publicado para qualquer fim, inclusive comercial, desde que seja dado o crédito apropriado aos autores e à revista. Para ver uma cópia da licença, visite: https://creativecommons.org/licenses/by/4.0