Herramienta de chequeo de registro xml obtenido desde SEDICI (UNLP)

XML

<oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:doc="http://www.lyncode.com/xoai" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><identifier>I19-R120-10915-2707</identifier><datestamp>2020-05-14T14:19:59Z</datestamp>
<dc:identifier>http://sedici.unlp.edu.ar/handle/10915/2707</dc:identifier>
<dc:identifier>https://doi.org/10.35537/10915/2707</dc:identifier>
<dc:title>Álgebras de Heyting con sucesor</dc:title>
<dc:creator>San Martín, Hernán Javier</dc:creator>
<dc:date>2011</dc:date>
<dc:date>2011</dc:date>
<dc:date>2012-11-05T06:00:05Z</dc:date>
<dc:contributor>Sagastume, Marta Susana</dc:contributor>
<dc:contributor>Castiglioni, José Luis</dc:contributor>
<dc:language>es</dc:language>
<dc:subject>Ciencias Exactas</dc:subject>
<dc:subject>Matemática</dc:subject>
<dc:subject>Mathematical Logic</dc:subject>
<dc:subject>álgebra</dc:subject>
<dc:subject>cálculo proposicional intuicionista</dc:subject>
<dc:subject>lógica</dc:subject>
<dc:description>En el cálculo proposicional intuicionista podemos considerar los símbolos de conectivos asociados a la implicación, conjunción, disyunción y negación respectivamente. Kuznetsov introdujo un símbolo de conectivo unario nuevo (al que denominamos sucesor), agregando este símbolo en las reglas de formación de fórmulas del intuicionismo y considerando un esquema particular de axiomas.&#13;
El sucesor constituye un caso particular de conectivo implícito nuevo del cálculo proposicional intuicionista (esta es una diferencia con respecto al cálculo proposicional clásico, en donde no existen conectivos implícitos nuevos). La contraparte algebraica del cálculo introducido por Kuznetsov son las álgebras de Heyting que admiten una función unaria S a la que llamamos sucesor (siendo S parte del lenguaje del álgebra). Esta función forma parte de una familia de operadores compatibles e implícitamente definidos en álgebras de Heyting.&#13;
Esta tesis se divide en las siguientes tres partes: primero se desarrolla una dualidad de Priestley para álgebras de Heyting con ciertos operadores unarios adicionales y en particular para álgebras de Heyting con sucesor; segundo, se utiliza como herramienta la última dualidad mencionada para obtener propiedades de ciertas subvariedades de la variedad de álgebras de Heyting con sucesor; por último se extienden algunos resultados para el caso de retículos residuados.</dc:description>
<dc:description>Facultad de Ciencias Exactas</dc:description>
<dc:type>Tesis</dc:type>
<dc:type>Tesis de doctorado</dc:type>
<dc:rights>http://creativecommons.org/licenses/by-nc-sa/4.0/</dc:rights>
<dc:rights>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)</dc:rights>
<dc:format>application/pdf</dc:format>
</oai_dc:dc>

Datos convertidos

{
    "id": "I19-R120-10915-2707",
    "record_format": "dspace",
    "spelling": [
        "I19-R120-10915-27072020-05-14T14:19:59Z http:\/\/sedici.unlp.edu.ar\/handle\/10915\/2707 https:\/\/doi.org\/10.35537\/10915\/2707 \u00c1lgebras de Heyting con sucesor San Mart\u00edn, Hern\u00e1n Javier 2011 2011 2012-11-05T06:00:05Z Sagastume, Marta Susana Castiglioni, Jos\u00e9 Luis es Ciencias Exactas Matem\u00e1tica Mathematical Logic \u00e1lgebra c\u00e1lculo proposicional intuicionista l\u00f3gica En el c\u00e1lculo proposicional intuicionista podemos considerar los s\u00edmbolos de conectivos asociados a la implicaci\u00f3n, conjunci\u00f3n, disyunci\u00f3n y negaci\u00f3n respectivamente. Kuznetsov introdujo un s\u00edmbolo de conectivo unario nuevo (al que denominamos sucesor), agregando este s\u00edmbolo en las reglas de formaci\u00f3n de f\u00f3rmulas del intuicionismo y considerando un esquema particular de axiomas. El sucesor constituye un caso particular de conectivo impl\u00edcito nuevo del c\u00e1lculo proposicional intuicionista (esta es una diferencia con respecto al c\u00e1lculo proposicional cl\u00e1sico, en donde no existen conectivos impl\u00edcitos nuevos). La contraparte algebraica del c\u00e1lculo introducido por Kuznetsov son las \u00e1lgebras de Heyting que admiten una funci\u00f3n unaria S a la que llamamos sucesor (siendo S parte del lenguaje del \u00e1lgebra). Esta funci\u00f3n forma parte de una familia de operadores compatibles e impl\u00edcitamente definidos en \u00e1lgebras de Heyting. Esta tesis se divide en las siguientes tres partes: primero se desarrolla una dualidad de Priestley para \u00e1lgebras de Heyting con ciertos operadores unarios adicionales y en particular para \u00e1lgebras de Heyting con sucesor; segundo, se utiliza como herramienta la \u00faltima dualidad mencionada para obtener propiedades de ciertas subvariedades de la variedad de \u00e1lgebras de Heyting con sucesor; por \u00faltimo se extienden algunos resultados para el caso de ret\u00edculos residuados. Facultad de Ciencias Exactas Tesis Tesis de doctorado http:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application\/pdf"
    ],
    "institution": [
        "Universidad Nacional de La Plata"
    ],
    "institution_str": "I-19",
    "repository_str": "R-120",
    "collection": [
        "SEDICI (UNLP)"
    ],
    "language": [
        "Espa\u00f1ol"
    ],
    "topic": [
        "Ciencias Exactas",
        "Matem\u00e1tica",
        "Mathematical Logic",
        "\u00e1lgebra",
        "c\u00e1lculo proposicional intuicionista",
        "l\u00f3gica"
    ],
    "spellingShingle": [
        "Ciencias Exactas",
        "Matem\u00e1tica",
        "Mathematical Logic",
        "\u00e1lgebra",
        "c\u00e1lculo proposicional intuicionista",
        "l\u00f3gica",
        "San Mart\u00edn, Hern\u00e1n Javier",
        "\u00c1lgebras de Heyting con sucesor"
    ],
    "topic_facet": [
        "Ciencias Exactas",
        "Matem\u00e1tica",
        "Mathematical Logic",
        "\u00e1lgebra",
        "c\u00e1lculo proposicional intuicionista",
        "l\u00f3gica"
    ],
    "description": "En el c\u00e1lculo proposicional intuicionista podemos considerar los s\u00edmbolos de conectivos asociados a la implicaci\u00f3n, conjunci\u00f3n, disyunci\u00f3n y negaci\u00f3n respectivamente. Kuznetsov introdujo un s\u00edmbolo de conectivo unario nuevo (al que denominamos sucesor), agregando este s\u00edmbolo en las reglas de formaci\u00f3n de f\u00f3rmulas del intuicionismo y considerando un esquema particular de axiomas.\r\nEl sucesor constituye un caso particular de conectivo impl\u00edcito nuevo del c\u00e1lculo proposicional intuicionista (esta es una diferencia con respecto al c\u00e1lculo proposicional cl\u00e1sico, en donde no existen conectivos impl\u00edcitos nuevos). La contraparte algebraica del c\u00e1lculo introducido por Kuznetsov son las \u00e1lgebras de Heyting que admiten una funci\u00f3n unaria S a la que llamamos sucesor (siendo S parte del lenguaje del \u00e1lgebra). Esta funci\u00f3n forma parte de una familia de operadores compatibles e impl\u00edcitamente definidos en \u00e1lgebras de Heyting.\r\nEsta tesis se divide en las siguientes tres partes: primero se desarrolla una dualidad de Priestley para \u00e1lgebras de Heyting con ciertos operadores unarios adicionales y en particular para \u00e1lgebras de Heyting con sucesor; segundo, se utiliza como herramienta la \u00faltima dualidad mencionada para obtener propiedades de ciertas subvariedades de la variedad de \u00e1lgebras de Heyting con sucesor; por \u00faltimo se extienden algunos resultados para el caso de ret\u00edculos residuados.",
    "author2": [
        "Sagastume, Marta Susana"
    ],
    "author_facet": [
        "Sagastume, Marta Susana",
        "San Mart\u00edn, Hern\u00e1n Javier"
    ],
    "format": [
        "Tesis",
        "Tesis de doctorado"
    ],
    "author": [
        "San Mart\u00edn, Hern\u00e1n Javier"
    ],
    "author_sort": "San Mart\u00edn, Hern\u00e1n Javier",
    "title": "\u00c1lgebras de Heyting con sucesor",
    "title_short": "\u00c1lgebras de Heyting con sucesor",
    "title_full": "\u00c1lgebras de Heyting con sucesor",
    "title_fullStr": "\u00c1lgebras de Heyting con sucesor",
    "title_full_unstemmed": "\u00c1lgebras de Heyting con sucesor",
    "title_sort": "\u00e1lgebras de heyting con sucesor",
    "publishDate": [
        "2011"
    ],
    "url": [
        "http:\/\/sedici.unlp.edu.ar\/handle\/10915\/2707",
        "https:\/\/doi.org\/10.35537\/10915\/2707"
    ],
    "work_keys_str_mv": [
        "AT sanmartinhernanjavier algebrasdeheytingconsucesor"
    ],
    "_version_": 1734112168016609280
}