Notes on join semidistributive lattices
Kira Adaricheva, Ralph S. Freese, James B. Nation · International Journal of Algebra and Computation · 2022
A finite lattice may be regarded as a join semilattice with [Formula: see text]. Using this viewpoint, we give algorithms for testing semidistributivity, provide a new characterization of convex geometries, and characterize congruence lattices of finite join semidistributive lattices.