The strong completeness of the tableau method

Título

dc.contributor.author	Fernández Díez, Gustavo
dc.date	1998-06-22
dc.date.accessioned	2011-02-01T10:57:09Z
dc.date.available	2011-02-01T10:57:09Z
dc.date.issued	2011-02-01T10:57:09Z
dc.identifier.issn	0212-6192	en_US
dc.identifier.uri	http://hdl.handle.net/10612/634
dc.description.abstract	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	en_US
dc.language	en	en_US
dc.publisher	Universidad de León	en_US
dc.rights	Atribución-NoComercial-CompartirIgual 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-sa/4.0/	*
dc.subject	Lógica	en_US
dc.subject.other	Completud fuerte	en_US
dc.subject.other	Prueba de Henkin	en_US
dc.subject.other	Tablas semánticas	en_US
dc.subject.other	Método de árboles	en_US
dc.subject.other	Monotonía	en_US
dc.title	The strong completeness of the tableau method	en_US
dc.type	info:eu-repo/semantics/contributionToPeriodical
dc.journal.title	Contextos

Except where otherwise noted, this item's license is described as Atribución-NoComercial-CompartirIgual 4.0 Internacional