The finite model property for the variety of Heyting algebras with successor

dc.creatorCastiglioni, José Luis
dc.creatorSan Martin, Hernan Javier
dc.date.accessioned2016-12-12T21:22:43Z
dc.date.accessioned2018-11-06T11:18:59Z
dc.date.available2016-12-12T21:22:43Z
dc.date.available2018-11-06T11:18:59Z
dc.date.created2016-12-12T21:22:43Z
dc.date.issued2012-06
dc.identifierCastiglioni, 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.identifier0041-6932
dc.identifierhttp://hdl.handle.net/11336/9200
dc.identifier1669-9637
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1848322
dc.description.abstractThe 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.languageeng
dc.publisherUnión Matemática Argentina
dc.relationinfo:eu-repo/semantics/altIdentifier/url/http://inmabb.criba.edu.ar/revuma/revuma.php?p=toc/vol53
dc.relationinfo:eu-repo/semantics/altIdentifier/url/http://www.scielo.org.ar/scielo.php?script=sci_serial&pid=0041-6932&lng=es&nrm=iso
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsinfo:eu-repo/semantics/openAccess
dc.subjectSUCCESSOR OPERATOR
dc.subjectFINITE MODEL PROPERTY
dc.subjectHEYTING ALGEBRAS
dc.titleThe finite model property for the variety of Heyting algebras with successor
dc.typeArtículos de revistas
dc.typeArtículos de revistas
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución