Abstract:A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring. A $d\ell$-magma with a top $\top$ is unary-determined if $x{\cdot} y=(x{\cdot}\!\top\wedge y)$ $\vee(x\wedge \top\!{\cdot}y)$. These algebras are term-equivalent to a subvariety of distributive lattices with $\top$ and two join-preserving unary operations $\mathsf p,\mathsf q$. We obtain simple conditions on $\mathsf p,\mathsf q$ such that $x{\cdot} y=(\mathsf px\wedge y)\vee(x\wedge \mathsf qy)$ is associative, commutative, idempotent and/or has an identity element. This generalizes previous results on the structure of doubly idempotent semirings and, in the case when the distributive lattice is a Heyting algebra, it provides structural insight into unary-determined algebraic models of bunched implication logic. We also provide Kripke semantics for the algebras under consideration, which leads to more efficient algorithms for constructing finite models. We find all subdirectly irreducible algebras up to cardinality eight in which $\mathsf p=\mathsf q$ is a closure operator, as well as all finite unary-determined bunched implication chains and map out the poset of join-irreducible varieties generated by them.

D-subvarieties of the variety of idempotent semirings

$ {\cal L} $-Subvarieties of the Variety of Idempotent Semirings

A class of congruences in partial Abelian semigroups

The lattice of idempotent distributive semiring varieties

The Green's Relation of Semiring Whose Additive Reduct is Completely Regular Semigroup

A note on idempotent semirings

On algebraic congruence varieties over semirings

Green's Relations and Their Generalizations on Semigroups

On semisubtractive ideals of semirings

A Common Generalization to Theorems on Set Systems with L-intersections

Distinguished elements in semiring extensions

Serre duality for dg-algebras

The doubles of one half of a numerical semigroup

On three submonoids of the dihedral inverse monoid on a finite set

Local finiteness for Green's relations in semigroup varieties

Two Kinds of Idempotent Semirings with Identity Element

Finding Product and Sum Patterns in non-commutative settings

On Commutativity of Two Unary Digraph Operations: Subdividing and Line-Digraphing

Local finiteness for Green relations in (I-)semigroup varieties

The Subvariety Lattice of the Join of Two Semigroup Varieties

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras