TY  - GEN 
AU  - Fernández Díez, Gustavo
DA  - 1998/06/06
PY  - 2011
SN  - 0212-6192
UR  - http://hdl.handle.net/10612/634
AB  - En este trabajo se describe una prueba directa (sin usar el teorema de compacidad) del hecho de que el método de árboles o tablas semánticas de primer orden es completo en el sentido fuerte, es decir: que si una fórmula ϕ es una consecuencia de primer...
LA  - en
PB  - Universidad de León
KW  - Lógica
KW  - Completud fuerte
KW  - Prueba de Henkin
KW  - Tablas semánticas
KW  - Método de árboles
KW  - Monotonía
TI  - The strong completeness of the tableau method
ER  -