TY  - JOUR
AU  - Aranda Utrero, Víctor
PY  - 2019
DO  - 10.22370/rhv2019iss14pp449-466
SN  - 0719-4234
UR  - https://hdl.handle.net/20.500.14352/98247
T2  - Revista de Humanidades de Valparaíso
AB  - El objetivo de este artículo es aclarar por qué la lógica proposicional es Post completa y su completud débil pasó casi desapercibida para Hilbert y Bernays, mientras que la lógica de primer orden es Post incompleta y su completud débil fue vista como...
AB  - The aim of this paper is to clarify why propositional logic is Post complete and its weak completeness was almost unnoticed by Hilbert and Bernays, while first-order logic is Post incomplete and its weak completeness was seen as an open problem by...
LA  - spa
M2  - 449
PB  - Universidad de Valparaiso
KW  - Historia de la lógica
KW  - Lógica clásica
KW  - Formas normales
KW  - Corrección
KW  - Bernays
KW  - History of logic
KW  - Classical logic
KW  - Normal forms
KW  - Soundness
TI  - Completud débil y Post completud en la escuela de Hilbert
T2  - Weak and Post completeness in the Hilbert school
TY  - journal article
ER  -