Studia Logica

, Volume 100, Issue 1, pp 91–114

Frontal Operators in Weak Heyting Algebras

Article

DOI: 10.1007/s11225-012-9390-2

Cite this article as:
Celani, S.A. & San Martín, H.J. Stud Logica (2012) 100: 91. doi:10.1007/s11225-012-9390-2

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 \({\tau(a) \leq b \vee (b \rightarrow a)}\), for all \({a, b \in 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 \({\langle X, \leq, T, R \rangle}\) where \({\langle X, \leq, T \rangle}\) 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.

Keywords

modal operatorsfrontal operatorsweak Heyting algebrasPriestley duality

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.CONICET and Departamento de Matemática, Facultad de Ciencias ExactasUniversidad Nacional del CentroTandilArgentina
  2. 2.CONICET and Departamento de Matemática, Facultad de Ciencias ExactasUniversidad Nacional de La PlataLa PlataArgentina