Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.provenance | SEDICI | - |
dc.contributor | Sagastume, Marta Susana | - |
dc.contributor | Castiglioni, José Luis | - |
dc.creator | San Martín, Hernán Javier | - |
dc.date | 2011 | - |
dc.date.accessioned | 2019-06-19T20:05:14Z | - |
dc.date.available | 2019-06-19T20:05:14Z | - |
dc.date.issued | 2011 | - |
dc.identifier | http://sedici.unlp.edu.ar/handle/10915/2707 | - |
dc.identifier | http://hdl.handle.net/10915/2707 | - |
dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/324698 | - |
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. 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. 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 | Departamento de Matemática | - |
dc.format | application/pdf | - |
dc.format | 121 p. | - |
dc.language | spa | - |
dc.rights | info:eu-repo/semantics/openAccess | - |
dc.rights | Licencia de distribución no exclusiva SEDICI | - |
dc.source | reponame:SEDICI (UNLP) | - |
dc.source | instname:Universidad Nacional de La Plata | - |
dc.source | instacron:UNLP | - |
dc.source.uri | http://sedici.unlp.edu.ar/handle/10915/2707 | - |
dc.source.uri | http://hdl.handle.net/10915/2707 | - |
dc.subject | Ciencias Exactas | - |
dc.subject | Matemática | - |
dc.subject | álgebra | - |
dc.subject | cálculo proposicional intuicionista | - |
dc.subject | lógica | - |
dc.subject | Mathematical Logic | - |
dc.title | Álgebras de Heyting con sucesor | - |
dc.type | info:eu-repo/semantics/doctoralThesis | - |
dc.type | info:eu-repo/semantics/acceptedVersion | - |
dc.type | Tesis de doctorado | - |
dc.type | info:ar-repo/semantics/tesisDoctoral | - |
Aparece en las colecciones: | Universidad Nacional de la Plata. SEDICI |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.