Abstract
In Chajda and Länger (Math. Bohem. 143, 89–97, 2018) the concept of relative pseudocomplementation was extended to posets. We introduce the concept of a congruence in a relatively pseudocomplemented poset within the framework of Hilbert algebras and we study under which conditions the quotient structure is a relatively pseudocomplemented poset again. This problem is solved e.g. for finite or linearly ordered posets. We characterize relative pseudocomplementation by means of so-called L-identities. We investigate the category of bounded relatively pseudocomplemented posets. Finally, we derive certain quadruples which characterize bounded Hilbert algebras and bounded relatively pseudocomplemented posets up to isomorphism using Glivenko equivalence and implicative semilattice envelope of Hilbert algebras.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Balbes, R.: On free pseudo-complemented and relatively pseudo-complemented semi-lattices. Fund. Math. 78, 119–131 (1973)
Balbes, R., Horn, A.: Injective and projective Heyting algebras. Trans. Amer. Math. Soc. 148, 549–559 (1970)
Bușneag, D.: A note on deductive systems of a Hilbert algebra. Kobe J. Math. 2, 29–35 (1985)
Bușneag, D.: Categories of Algebraic Logic. Ed. Academiei Rom\(\hat {\text {a}}\)ne 2006. ISBN 978973-27-1381-5
Celani, S.A., Jansana, R.: On the free implicative semilattice extension of a Hilbert algebra. Math. Log. Q. 58, 188–207 (2012)
Chajda, I.: Relatively pseudocomplemented directoids. Comment. Math. Univ. Carolin. 50, 349–357 (2009)
Chajda, I.: Pseudocomplemented and Stone posets. Acta Univ. Palacki. Olomuc. Fac. Rerum Natur. Math. 51, 29–34 (2012)
Chajda, I., Halaš, R.: Characterizing triplets for modular pseudocomplemented ordered sets. Math. Slovaca 50, 513–524 (2000)
Chajda, I., Halaš, R., Kühr, J.: Semilattice Structures. Heldermann, Lemgo 2007. ISBN 978-3-88538-230-0
Chajda, I., Länger, H.: Relatively pseudocomplemented posets. Math. Bohem. 143, 89–97 (2018)
Chajda, I., Snášel, V.: Congruences in ordered sets. Math. Bohem. 123, 95–100 (1998)
Chen, C. C., Grätzer, G.: Stone lattices. II. Structure theorems. Canad. J. Math. 21, 895–903 (1969)
Cı̄rulis, J.: Multipliers, closure endomorphisms and quasi-decompositions of a Hilbert algebra. Contrib. Gen. Algebra 16, 25–34 (2005)
Cı̄rulis, J.: Hilbert algebras as implicative partial semilattices. Cent. Eur. J. Math. 5, 264–279 (2007)
Cı̄rulis, J.: Adjoint semilattice and minimal Brouwerian extensions of a Hilbert algebra. Acta Univ. Palacki. Olomuc., Fac. rer. nat. Mathematica 51, 41–51 (2012)
Cı̄rulis, J.: Lattice of closure endomorphisms of a Hilbert algebra. arXiv:1701.03902 (2017)
Curry, H.B.: Lecons de Logique Algébrique. (French) (Collection De Logique Mathematique. Ser. A. II.) Paris: Gauthier-Villars, Louvain,: E. Nauwelaerts (1952)
Curry, H.B.: Foundations of Mathematical Logic. Dover, New York (1977)
Diego, A.: Sobre Algebras de Hilbert Notas De Logica Mat, vol. 12. Inst. Mat. Univ. Nac. del Sur, Bahia Blanca (1965)
Diego, A.: Sur les Algèbres de Hilbert. (French). Gauthier-Villars, E. Nauwelaerts, Paris-Louvain (1966)
Frink, O.: Pseudo-complements in semi-lattices. Duke Math. J. 29, 505–514 (1962)
Ghiță, M.: Some categorical properties of Hilbert algebras. Annals of University of Craiova. Math. Comp. Sci. Ser. 36, 95–104 (2009)
Katriňák, T.: Bemerkung über pseudokomplementären halbgeordneten Mengen. (German) Acta Fac. Rer. Nat. Univ. Comenianae, Math. 19, 181–185 (1968)
Katriňák, T.: Pseudokomplementäre Halbverbände. (German) Mat. Čas., Slovensk. Akad. Vied 18, 121–143 (1968)
Köhler, P.: Brouwerian semilattices. Transactions of AMS 268, 103–126 (1981)
Macnab, D.S.: Modal operators on Heyting algebras. Algebra Universalis 12, 5–29 (1981)
Marsden, E.L.: Compatible elements in implicative models. J. Philos. Log. 1, 156–161 (1972)
Marsden, E.L.: A note on implicative models. Notre Dame J. Formal Log. 14, 139–144 (1972)
Nemitz, W.C.: Implicative semi-lattices. Trans. Amer. Math. Soc. 117, 128–142 (1965)
Niederle, J.: On pseudocomplemented and Stone ordered sets. Order 18, 161–170 (2001)
Pawar, Y.S.: Implicative posets. Bull. Calcutta Math. Soc. 85, 381–384 (1993)
Rasiowa, H.: An Algebraic Approach to Non-Classical Logics. PWN, North-Holland Publ. Co., Warszawa, Amsterdam, London (1974)
Rudeanu, S.: On relatively pseudocomplemented posets and Hilbert algebras. An. Stiint. Univ.Iasi, N. Ser., Ia, Suppl. 31, 74–77 (1985)
Rudeanu, S.: On the Glivenko-Frink theorem for Hilbert algebras. An. Univ. Craiova, Ser. Mat. Inf. 34, 73–78 (2007)
Venkatanarasimhan, P.V.: Pseudo-complements in posets. Proc. Am. Math. Soc. 28, 9–17 (1971)
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF). We would like to express our gratitude to the anonymous reviewers whose thorough and detailed comments lead to a considerable improvement of this paper and helped to enhance the results of this paper in a substantial manner.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Support of the research of all authors by the Austrian Science Fund (FWF), project I 1923-N25, and the Czech Science Foundation (GAČR), project 15-34697L, as well as support of the research of the first two authors by ÖAD, project CZ 02/2019, and support of the research of the first author by IGA, project PřF 2019 015, is gratefully acknowledged.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Chajda, I., Länger, H. & Paseka, J. Algebraic Aspects of Relatively Pseudocomplemented Posets. Order 37, 1–29 (2020). https://doi.org/10.1007/s11083-019-09488-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-019-09488-1