question
active
question:does-every-lattice-with-the-attributes-sd-and-dually-semimodular-also-have-the-attribute-join-distributive

Does every lattice with the attributes SD ∨ and dually semimodular also have the attribute join-distributive?

Typical question asked during attribute exploration on lattice properties.

Source paper

extracted_from
Finger Exercises in Formal Concept Analysis
(2006) · Ganter, Bernhard

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.