Skip to main content
SpringerLink
Log in

Frontal Operators in Weak Heyting Algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Ardeshir M., Ruitenburg W.: ‘Basic Propositional Calculus I’. Mathematical Logic Quarterly 44, 317–343 (1998)

    Article  Google Scholar 

  2. Caicedo X., Cignoli R.: ‘An algebraic approach to intuitionistic connectives’. Journal of Symbolic Logic 66(4), 1620–1636 (2001)

    Article  Google Scholar 

  3. Castiglioni J.L., Sagastume M., San Martín H.J.: ‘On frontal Heyting algebras’. Reports on Mathematical Logic 45, 201–224 (2010)

    Google Scholar 

  4. Castiglioni J.L., San Martín H.J.: ‘On the variety of Heyting algebras with successor generated by all finite chains’. Reports on Mathematical Logic 45, 225–248 (2010)

    Google Scholar 

  5. Celani S. A., Jansana R.: ‘A closer look at some subintuitionistic logics’. Notre Dame Journal of Formal Logic 42, 225–255 (2003)

    Google Scholar 

  6. Celani S. A., Jansana R.: ‘Bounded distributive lattices with strict implication. Mathematical Logic Quarterly 51, 219–246 (2005)

    Article  Google Scholar 

  7. Celani, S. A., ‘Simple and subdirectly irreducibles bounded distributive lattices with unary operators’, International Journal of Mathematics and Mathematical Sciences, vol. 2006, Article ID 21835, 20 pages, doi:10.1155/IJMMS/2006/21835, 2006.

  8. Cignoli R., Lafalce S., Petrovich A.: ‘Remarks on Priestley duality for distributive lattices’. Order 8, 183–197 (1991)

    Article  Google Scholar 

  9. Epstein G., Horn A.: ‘Logics which are characterized by subresiduated lattices’. Zeitschrift fur Mathematiche Logik und Grundlagen der Mathematik 22, 199–210 (1976)

    Article  Google Scholar 

  10. Esakia L.: ‘The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic’. Journal of Applied Non-Classical Logics 16(3-4), 349–366 (2006)

    Article  Google Scholar 

  11. Esakia L.: ‘Topological Kripke models’. Soviet Math. Dokl. 15, 147–151 (1974)

    Google Scholar 

  12. Esakia, L., Heyting Algebras I. Duality Theory (Russian), Metsniereba, Tbilisi, Georgia, 1985.

  13. Goldblatt R.: ‘Varieties of complex algebras’. Annals Pure Appl. Logic 44, 173–242 (1989)

    Article  Google Scholar 

  14. Kuznetsov A.V.: ‘On the Propositional Calculus of Intuitionistic Provability’. Soviet Math. Dokl. 32, 18–21 (1985)

    Google Scholar 

  15. Kuznetsov A.V., Muravitsky A.Yu.: ‘On superintuitionistic logics as fragments of proof logic extensions’. Studia Logica 45(1), 77–99 (1986)

    Article  Google Scholar 

  16. Orlowska E., Rewitzky I.: ‘Discrete Dualities for Heyting algebras with Operators’. Fundamenta Informaticae 81, 275–295 (2007)

    Google Scholar 

  17. Priestley H.A.: ‘Representation of distributive lattices by means of ordered Stone spaces’. Bull. London Math Soc. 2, 186–190 (1970)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CONICET and Departamento de Matemática, Facultad de Ciencias Exactas, Universidad Nacional del Centro, Pinto 399, Tandil, (7000), Argentina

    Sergio A. Celani

  2. CONICET and Departamento de Matemática, Facultad de Ciencias Exactas, Universidad Nacional de La Plata, CC 172, La Plata, (1900), Argentina

    Hernán J. San Martín

Authors
  1. Sergio A. Celani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hernán J. San Martín
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sergio A. Celani.

Additional information

In memoriam Leo Esakia

Rights and permissions

Reprints and permissions

About this article

Cite this article

Celani, S.A., San Martín, H.J. Frontal Operators in Weak Heyting Algebras. Stud Logica 100, 91–114 (2012). https://doi.org/10.1007/s11225-012-9390-2

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-012-9390-2

Keywords

Search

Navigation