Abstract
We present a bijective correspondence between congruences of semilattices with sectionally finite height (i.e., meet-semilattices whose principal downsets have finite length) and certain special subsets of their universes. We characterize these subsets from a purely order-theoretic point of view and prove that the bijection coincides with the Leibniz operator of abstract algebraic logic.
Similar content being viewed by others
References
Balbes R., Dwinger P.: Distributive lattices. University of Missouri Press, Columbia (1974)
Blok, W.J., Pigozzi, D.: Algebraizable logics. Mem. Amer. Math. Soc., vol. 396 (1989) http://orion.math.iastate.edu:80/dpigozzi/
Burris, S., Sankappanavar, H.P.: A course in Universal Algebra. The Millennium Edition (2012) http://www.math.uwaterloo.ca/~snburris/htdocs/ualg.html
Chajda, I., Halaš, R., Kühr, J.: Semilattice structures. Research and Exposition in Mathematics, vol. 30. Heldermann, Lemgo (2007)
Czédli, G., Schmidt, E.T.: Some results on semimodular lattices. In: Proceedings of the Olomouc Conference 2010. Contributions to General Algebra, vol. 19, pp. 45–56. Johannes Heyn, Klagenfurt (2010)
Czelakowski, J.: Protoalgebraic logics. Trends in Logic, Studia Logica Library, vol. 10. Kluwer, Dordrecht (2001)
Font J.M., Guzmán F., Verdú V.: Characterization of the reduced matrices for the \({\{\wedge, \vee}\}\)-fragment of classical logic. Bulletin of the Section of Logic 20, 124–128 (1991)
Font, J.M., Jansana, R.: A general algebraic semantics for sentential logics, 2nd edn. Lecture Notes in Logic, vol. 7. Springer, Heidelberg (2009) http://projecteuclid.org/euclid.lnl/1235416965
Font, J.M., Jansana, R., Pigozzi, D.: A survey on abstract algebraic logic. Studia Logica, Special Issue on Abstract Algebraic Logic, Part II, 74(1-2), 13–97 (2003). With an update in 91, 125–130 (2009)
Font, J.M., Verdú, V.: Algebraic logic for classical conjunction and disjunction. Studia Logica 50, Special Issue on Algebraic Logic, 391–419 (1991)
Grätzer G.: Lattice theory. Foundation. Birkhäuser, Basel (2011)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by J. Raftery.
The authors were partially funded by the research project MTM2011-25747 from the government of Spain, which includes feder funds from the European Union; and the research grant 2009SGR-1433 from the government of Catalonia.
Rights and permissions
About this article
Cite this article
Font, J.M., Moraschini, T. A note on congruences of semilattices with sectionally finite height. Algebra Univers. 72, 287–293 (2014). https://doi.org/10.1007/s00012-014-0300-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-014-0300-5