Show simple item record Celani, Sergio Arturo Montangie, Daniela 2018-01-15T18:41:13Z 2014-10
dc.identifier.citation Montangie, Daniela; Celani, Sergio Arturo; Hilbert algebras with a necessity modal operator; Jagiellonian University; Reports on Mathematical Logic; 49; 10-2014; 47-77
dc.identifier.issn 0137-2904
dc.description.abstract We introduce the variety of Hilbert algebras with a modal operator , called H -algebras. The variety of H -algebras is the algebraic counterpart of the f!; g-fragment of the intuitionitic modal logic IntK . We will study the theory of representation and we will give a topological duality for the variety of H -algebras. We are going to use these results to prove that the basic implicative modal logic IntK! and some axiomatic extensions are canonical. We shall also to determine the simple and subdirectly irreducible algebras in some subvarieties of H -algebras.
dc.format application/pdf
dc.language.iso eng
dc.publisher Jagiellonian University
dc.rights info:eu-repo/semantics/restrictedAccess
dc.subject Hilbert algebras
dc.subject Modal operator
dc.subject Topological duality
dc.subject Subvarieties
dc.subject.classification Matemática Pura
dc.subject.classification Matemáticas
dc.subject.classification CIENCIAS NATURALES Y EXACTAS
dc.title Hilbert algebras with a necessity modal operator
dc.type info:eu-repo/semantics/article
dc.type info:ar-repo/semantics/artículo
dc.type info:eu-repo/semantics/publishedVersion 2016-11-23T19:55:02Z
dc.identifier.eissn 2084-2589
dc.journal.volume 49
dc.journal.pagination 47-77
dc.journal.pais Polonia
dc.description.fil Fil: Celani, Sergio Arturo. Universidad Nacional del Centro de la Provincia de Buenos Aires.facultad de Ciencias Exactas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.fil Fil: Montangie, Daniela. Universidad Nacional del Comahue. Facultad de Economía y Administración; Argentina
dc.journal.title Reports on Mathematical Logic
dc.relation.alternativeid info:eu-repo/semantics/altIdentifier/url/
dc.relation.alternativeid info:eu-repo/semantics/altIdentifier/doi/

Archivos asociados

Blocked Acceso no disponible

This item appears in the following Collection(s)

Show simple item record

info:eu-repo/semantics/restrictedAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)