Let S be a regular semigroup and C its lattice of congruences. We consider the sublattice Λ of C generated by σ-the least group, τ -the greatest idempotent pure, μ-the greatest idempotent separating and β-the least band congruence on S. To this end, we study the following special cases: (1) any three of these congruences generate a distributive lattice, (2) Λ is distributive, (3) the restrictio...

In this paper, we study two kinds of combinatorial objects, generalized integer partitions and tilings of two dimensional zonotopes, using dynamical systems and order theory. We show that the sets of partitions ordered with a simple dynamics, have the distributive lattice structure. Likewise, we show that the set of tilings of zonotopes, ordered with a simple and classical dynamics, is the disj...

The Lindenbaum algebra generated by the Abramsky ni-tary logic is a distributive lattice dual to an SFP-domain obtained as a solution of a recursive domain equation. We extend Abramsky's result by proving that the Lindenbaum algebra generated by the innnitary logic is a completely distributive lattice dual to the same SFP-domain. As a consequence soundness and completeness of the innnitary logi...

In works dealing with capacities (fuzzy measures) and the Choquet integral on finite spaces, it is usually considered that all subsets of the universe are measureable. Hence, all functions are integrable in the sense of Choquet. We consider the situation where some subsets are not measurable (not feasible), so that there are nonintegrable functions. Since this is a severe limitation in applicat...

Unbounded distributive lattices which have strong endomorphism kernel property (SEKP) introduced by Blyth and Silva in [3] were fully characterized in [11] using Priestley duality (see Theorem  2.8}). We shall determine the structure of special elements (which are introduced after  Theorem 2.8 under the name strong elements) and show that these lattices can be considered as a direct product of ...

For a presentation A of a transversal matroid M , we study the ordered set TA of single-element transversal extensions of M that have presentations that extend A; extensions are ordered by the weak order. We show that TA is a distributive lattice, and that each finite distributive lattice is isomorphic to TA for some presentation A of some transversal matroid M . We show that TA ∩ TB, for any t...

Let P be a graded poset with 0 and 1 and rank at least 3. Assume that every rank 3 interval is a distributive lattice and that, for every interval of rank at least 4, the interval minus its endpoints is connected. It is shown that P is a distributive lattice, thus resolving an issue raised by Stanley. Similar theorems are proven for semimodular, modular, and complemented modular lattices. As a ...

In this paper, the concepts of L-concave structures, concave Linterior operators and concave L-neighborhood systems are introduced. It is shown that the category of L-concave spaces and the category of concave Linterior spaces are isomorphic, and they are both isomorphic to the category of concave L-neighborhood systems whenever L is a completely distributive lattice. Also, it is proved that th...

We call a lattice L isoform, if for any congruence relation Θ of L, all congruence classes of Θ are isomorphic sublattices. In an earlier paper, we proved that for every finite distributive lattice D, there exists a finite isoform lattice L such that the congruence lattice of L is isomorphic to D. In this paper, we prove a much stronger result: Every finite lattice has a congruence-preserving e...