Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.provenance | CONICET | - |
dc.creator | Castiglioni, José Luis | - |
dc.creator | San Martin, Hernan Javier | - |
dc.date | 2016-12-12T21:22:43Z | - |
dc.date | 2016-12-12T21:22:43Z | - |
dc.date | 2012-06 | - |
dc.date | 2016-12-12T14:37:53Z | - |
dc.date.accessioned | 2019-04-29T15:34:16Z | - |
dc.date.available | 2019-04-29T15:34:16Z | - |
dc.date.issued | 2012-06 | - |
dc.identifier | Castiglioni, José Luis; San Martin, Hernan Javier; The finite model property for the variety of Heyting algebras with successor; Unión Matemática Argentina; Revista de la Unión Matemática Argentina; 53; 2; 6-2012; 91-96 | - |
dc.identifier | 0041-6932 | - |
dc.identifier | http://hdl.handle.net/11336/9200 | - |
dc.identifier | 1669-9637 | - |
dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/296803 | - |
dc.description | The finite model property of the variety of S-algebras was proved by X. Caicedo using Kripke model techniques of the associated calculus. A more algebraic proof, but still strongly based on Kripke model ideas, was given by Muravitskii. In this article we give a purely algebraic proof for the finite model property which is strongly based on the fact that for every element x in a S-algebra the interval [x, S(x)] is a Boolean lattice. | - |
dc.description | Fil: Castiglioni, José Luis. Universidad Nacional de la Plata. Facultad de Ciencias Exactas. Departamento de Matematicas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina | - |
dc.description | Fil: San Martin, Hernan Javier. Universidad Nacional de la Plata. Facultad de Ciencias Exactas. Departamento de Matematicas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina | - |
dc.format | application/pdf | - |
dc.format | application/pdf | - |
dc.format | application/pdf | - |
dc.language | eng | - |
dc.publisher | Unión Matemática Argentina | - |
dc.relation | info:eu-repo/semantics/altIdentifier/url/http://inmabb.criba.edu.ar/revuma/revuma.php?p=toc/vol53 | - |
dc.relation | info:eu-repo/semantics/altIdentifier/url/http://www.scielo.org.ar/scielo.php?script=sci_serial&pid=0041-6932&lng=es&nrm=iso | - |
dc.rights | info:eu-repo/semantics/openAccess | - |
dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | - |
dc.source | reponame:CONICET Digital (CONICET) | - |
dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
dc.source | instacron:CONICET | - |
dc.source.uri | http://hdl.handle.net/11336/9200 | - |
dc.subject | SUCCESSOR OPERATOR | - |
dc.subject | FINITE MODEL PROPERTY | - |
dc.subject | HEYTING ALGEBRAS | - |
dc.subject | Matemática Pura | - |
dc.subject | Matemáticas | - |
dc.subject | CIENCIAS NATURALES Y EXACTAS | - |
dc.title | The finite model property for the variety of Heyting algebras with successor | - |
dc.type | info:eu-repo/semantics/article | - |
dc.type | info:eu-repo/semantics/publishedVersion | - |
dc.type | info:ar-repo/semantics/articulo | - |
Aparece en las colecciones: | CONICET |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.