Mostrar el registro sencillo del ítem
dc.contributor.author
Celani, Sergio Arturo
dc.contributor.author
San Martín, Hernán Javier
dc.date.available
2023-06-01T15:19:20Z
dc.date.issued
2012-04
dc.identifier.citation
Celani, Sergio Arturo; San Martín, Hernán Javier; Frontal Operators in Weak Heyting Algebras; Springer; Studia Logica; 100; 1-2; 4-2012; 91-114
dc.identifier.issn
0039-3215
dc.identifier.uri
http://hdl.handle.net/11336/199308
dc.description.abstract
In this paper we shall introduce the variety FWHA of frontal weak Heyting algebras as a generalization of the frontal Heyting algebras introduced by Leo Esakia in [10]. A frontal operator in a weak Heyting algebra A is an expansive operator τ preserving finite meets which also satisfies the equation τ(a) ≤ b ∨ (b → a), for all a, b ∈ A. These operators were studied from an algebraic, logical and topological point of view by Leo Esakia in [10]. We will study frontal operators in weak Heyting algebras and we will consider two examples of them. We will give a Priestley duality for the category of frontal weak Heyting algebras in terms of relational spaces hX, ≤, T, Ri where hX, ≤, T i is a WH - space [6], and R is an additional binary relation used to interpret the modal operator. We will also study the WH -algebras with successor and the WH -algebras with gamma. For these varieties we will give two topological dualities. The first one is based on the representation given for the frontal weak Heyting algebras. The second one is based on certain particular classes of WH -spaces.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Springer
dc.rights
info:eu-repo/semantics/restrictedAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
FRONTAL OPERATORS
dc.subject
MODAL OPERATORS
dc.subject
PRIESTLEY DUALITY
dc.subject
WEAK HEYTING ALGEBRAS
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Frontal Operators in Weak Heyting Algebras
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2023-06-01T14:33:36Z
dc.journal.volume
100
dc.journal.number
1-2
dc.journal.pagination
91-114
dc.journal.pais
Países Bajos
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. Centro Científico Tecnológico Conicet - Tandil; Argentina
dc.description.fil
Fil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.journal.title
Studia Logica
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s11225-012-9390-2
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11225-012-9390-2
Archivos asociados