Abstract
Distributive Hilbert algebras with infimum, or DH^-algebras for short, are algebras with implication and conjunction, in which the implication and the conjunction do not necessarily satisfy the residuation law. These algebras do not fall under the scope of the usual duality theory for lattice expansions, precisely because they lack residuation. We propose a new approach, that consists of regarding the conjunction as the additional operation on the underlying implicative structure. In this paper, we introduce a class of spaces, based on compactly-based sober topological spaces. We prove that the category of these spaces and certain relations is dually equivalent to the category of DH^-algebras and \({\wedge}\)-semi-homomorphisms. We show that the restriction of this duality to a wide subcategory of spaces gives us a duality for the category of DH^-algebras and algebraic homomorphisms. This last duality generalizes the one given by the author in 2003 for implicative semilattices. Moreover, we use the duality to give a dual characterization of the main classes of filters for DH^-algebras, namely, (irreducible) meet filters, (irreducible) implicative filters and absorbent filters.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Banaschewski B., Erné M.: On Krull’s separation lemma. Order 10, 253–260 (1993)
Bezhanishvili G., Jansana R.: Priestley style duality for distributive meet-semilattices. Studia Logica 98, 83–123 (2011)
Busneag D., Ghita M.: Some latticial properties of Hilbert algebras. Bull. Math. Soc. Sci. Math. Roumanie 53, 87–107 (2010)
Celani S.A.: A note on homomorphisms of Hilbert algebras. International Journal of Mathematics and Mathematical Sciences 29, 55–61 (2002)
Celani S.A.: Representation of Hilbert algebras and implicative semilattices. Cent. Eur. J. Math. 4, 561–572 (2003)
Celani S.A.: Topological representation of distributive semilattices. Scientiae Mathematicae Japonicae 8, 41–51 (2003)
Celani S.A., Cabrer L.M., Montangie D.: Representation and duality for Hilbert algebras. Cent. Eur. J. Math. 7, 463–478 (2009)
Celani S.A., Calomino I.: Some remarks on distributive semilattices. Commentationes Mathematicae Universitatis Carolinae 54, 407–428 (2013)
Celani S.A., Montangie D.: Hilbert algebras with supremum. Algebra Universalis 67, 237–255 (2012)
Chajda, I., Halaš, R., Kühr, J.: Semilattice Structures, volume 30 of Research and Exposition in Mathematics. Heldermann Verlag (2007)
David E., Erné M.: Ideal completion and Stone representation of ideal-distributive ordered sets. Topology and its Applications 44, 95–113 (1992)
Diego, A.: Sur les algèbres de Hilbert, volume 21 of A. Gouthier-Villars, Paris, (1966)
Erné, M.: Algebraic ordered sets and their generalizations, in: Rosenberg, I. and Sabidussi, G. (eds.), Algebras and Orders, pp. 113–192, Kluwer, Amsterdam, (1994)
Erné M.: Minimal bases, ideal extensions, and basic dualities. Topology Proc. 29, 445–489 (2005)
Erné M.: Algebraic models for T 1-spaces. Topology and its Applications 158, 945–962 (2011)
Figallo, A. Jr., Ramón, G., Saad, S.: iH-propositional calculus. Bulletin of the Section of Logic 35, 157–162, (2006)
Figallo, A.V., Ramón, G.Z., Saad, S.: A note on the Hilbert algebras with infimum. 8th Workshop on Logic, Language, Informations and Computation, WoLLIC’2001 (Brasília), Mat. Contemp. 24, 23–37 (2003)
Gehrke M., Priestley H.A.: Duality for double Quasioperator Algebra via their Canonical Extensions. Studia Logica 86, 31–68 (2007)
Goldblatt G.: Varieties of complex algebras. Ann. Pure App. Logic 44, 173–242 (1989)
Grätzer, G.: General lattice theory. Academic Press, Birkhäuser, (1978)
Hofmann, K.H., Watkins, F.: The spectrum as a functor. In: R.E. Hoffmann and K.H. Hofmann (Eds.), Continuous Lattices. Lecture Notes in Math. 871, pp. 249–263. Springer, Berlin (1981)
Idziak P.M.: Lattice operations in BCK-algebras. Mathematica Japonica 29, 839–846 (1984)
Jónsson B., Tarski A.: Boolean algebras with operators. part I. Amer. J. of Math. 73, 891–939 (1951)
Monteiro, A.: Sur les algèbres de Heyting symétriques. Portugaliae Mathematica 39, (1980)
Priestley H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. 2, 186–190 (1970)
Stone M.H.: Topological representation of distributive lattices and Brouwerian logics. Časopis pešt. mat. fys. 67, 1–25 (1937)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by M. Ploscica.
The first author also acknowledges the support of the grant PIP 11220150100412CO of CONICET (Argentina).
Rights and permissions
About this article
Cite this article
Celani, S.A., Esteban, M. Spectral-like duality for distributive Hilbert algebras with infimum. Algebra Univers. 78, 193–213 (2017). https://doi.org/10.1007/s00012-017-0451-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-017-0451-2