• español
  • English
  • français
  • Deutsch
  • português (Brasil)
  • italiano
  • Contact Us
  • Send Feedback
  • Enlaces y accesos
    • Derechos de autor
    • Políticas
    • Guía de autoarchivo
    • FAQ y ayuda
    • La ULE y el Acceso Abierto
    • español
    • English
    • français
    • Deutsch
    • português (Brasil)
    • italiano
    • español
    • English
    • français
    • Deutsch
    • português (Brasil)
    • italiano
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Repositorio
    Institucional
    Abierto

    Browse

    All of BULERIACommunities and CollectionsAuthorsDirectoresTitlesSubjectsFacultad/CentroÁrea de conocimientoFecha de creación/publicaciónTitulaciónThis CollectionAuthorsDirectoresTitlesSubjectsFacultad/CentroÁrea de conocimientoFecha de creación/publicaciónTitulación

    My Account

    Login

    Statistics

    View Usage Statistics

    Otros enlaces

    View Item 
    •   BULERIA Home
    • ULE Publications
    • Contextos
    • Contextos XVI/31-32 (1998)
    • View Item
    •   BULERIA Home
    • ULE Publications
    • Contextos
    • Contextos XVI/31-32 (1998)
    • View Item

    Compartir

    Export

    RISMendeleyRefworksZotero
    • edm
    • marc
    • xoai
    • qdc
    • ore
    • ese
    • dim
    • uketd_dc
    • oai_dc
    • etdms
    • rdf
    • mods
    • mets
    • didl
    • premis

    Citas

    Academic Search
    Título
    The strong completeness of the tableau method
    Autor
    Fernández Díez, Gustavo
    Editor
    Universidad de León
    Fecha
    1998-06-22
    ISSN
    0212-6192
    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
    Materia
    Lógica
    Palabras clave
    Completud fuerte
    Prueba de Henkin
    Tablas semánticas
    Método de árboles
    Monotonía
    Idioma
    en
    Tipo documental
    info:eu-repo/semantics/contributionToPeriodical
    URI
    http://hdl.handle.net/10612/634
    Collections
    • Contextos XVI/31-32 (1998) [15]
    Show full item record
    Files in this item
    Nombre:
    fernan1.pdf
    Tamaño:
    92.28Kb
    Formato:
    Adobe PDF
    Thumbnail
    FilesOpen