RT info:eu-repo/semantics/contributionToPeriodical
T1 The strong completeness of the tableau method
A1 Fernández Díez, Gustavo
K1 Lógica
K1 Completud fuerte
K1 Prueba de Henkin
K1 Tablas semánticas
K1 Método de árboles
K1 Monotonía
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 orden de un conjunto arbitrario de fórmulas Φ (no necesariamente contable), entonces existe un subconjunto finito Φ0 de Φ tal que el conjunto Φ0 ∪ { ¬ϕ } genera una tabla cerrada. Además, se hará una observación incidental sobre un aspecto de la monotonía del método de tablas que ha dado lugar a algún error en la literatura publicada
PB Universidad de León
SN 0212-6192
YR 2011
FD 2011-02-01T10:57:09Z
LK http://hdl.handle.net/10612/634
UL http://hdl.handle.net/10612/634
DS BULERIA. Repositorio Institucional de la Universidad de León
RD 25-abr-2024