=LDR  02826nab a22003370u 4500
=001  spart873
=003  ES-LoD
=005  20230516100048.0
=008  230516s1998\\\\sp\\\\\\\\\\\\\\\\\\eng\\
=022  \\$a0212-6192
=041  \\$aeng
=100  \\$aFernández Díez, Gustavo
=245  \\$aThe strong completeness of the tableau method$cFernández Díez, Gustavo
=260  \\$bUniversidad de León: Servicio de Publicaciones$c1998
=520  3\$afor the predicate calculus as to obtain a direct proof (without using compactness) of the fact that the most user-friendly formal method of deduction, the Beth-Smullyan method of first-order tableaux, is similarly complete, in the sense that if a formula . is a first-order consequence of an arbitrary set �³ of formulas, there is a finite subset �³0 of �³ such that the set �³0 �¾ { �Ê. } generates a closed tableau. Also, an incidental remark will be made concerning the monotony of the method of tableaux, on a problem which has led to a technical mistake in some of the published literature.
=538  \\$aapplication/pdf
=540  \\$aLICENCIA DE USO: Los documentos a texto completo incluidos en Dialnet son de acceso libre y propiedad de sus autores y/o editores. Por tanto, cualquier acto de reproducción, distribución, comunicación pública y/o transformación total o parcial requiere el consentimiento expreso y escrito de aquéllos. Cualquier enlace al texto completo de estos documentos deberá hacerse a través de la URL oficial de éstos en Dialnet. Más información: https://dialnet.unirioja.es/info/derechosOAI | INTELLECTUAL PROPERTY RIGHTS STATEMENT: Full text documents hosted by Dialnet are protected by copyright and/or related rights. This digital object is accessible without charge, but its use is subject to the licensing conditions set by its authors or editors. Unless expressly stated otherwise in the licensing conditions, you are free to linking, browsing, printing and making a copy for your own personal purposes. All other acts of reproduction and communication to the public are subject to the licensing conditions expressed by editors and authors and require consent from them. Any link to this document should be made using its official URL in Dialnet. More info: https://dialnet.unirioja.es/info/derechosOAI
=650  04$aCompletud fuerte
=650  04$aprueba de Henkin
=650  04$atablas semánticas
=650  04$amétodo de árboles
=650  04$amonotonía
=650  04$aStrong completeness
=650  04$aHenkin�s proof
=650  04$asemantic tableaux
=650  04$atree method
=650  04$amonotony
=655  \4$atext (article)
=773  0\$tContextos$x0212-6192$gNº 31-32,  1998,  pags. 297-308
=856  40$uhttps://dialnet.unirioja.es/servlet/oaiart?codigo=209053
=995  \\$aBiblioteca Nacional de España