Distributive Involutive FL-Algebras

• Distributive Involutive FL-Algebras are distributive residuated lattices enhanced by two order-reversing involutions, unifying frameworks such as relation algebras, Sugihara monoids, and MV-algebras.
• They bridge classical algebraic structures and provide cohesive semantics for substructural logics through concrete relational and quantale-based representations.
• Their rich duality and representation theory, built on complete distributivity and categorical insights, supports advanced investigations in order-theoretic and algebraic domains.

Distributive involutive FL-algebras (DInFL-algebras) comprise a fundamental class of residuated lattice-ordered structures, generalizing relation algebras, Sugihara monoids, MV-algebras, and providing a unifying algebraic setting for substructural logics with distributivity and dual involutive negations. They are tightly linked to order-theoretic properties such as complete distributivity and possess a rich duality and representation theory, including concrete realizations as algebras of binary relations.

1. Formal Structure and Axioms

A DInFL-algebra is an expansion of a distributive residuated lattice by two order-reversing involutions, also called linear negations. The formal signature is

$(A, \wedge, \vee, \cdot, 1, \sim, -).$

The main axioms are:

• $(A, \wedge, \vee)$ is a distributive lattice.
• $(A, \cdot, 1)$ is a monoid; $\cdot$ distributes over $\vee$.
• Two residuation operations are available (in terms of left and right division), with

$$a \cdot b \le c \iff a \le c/b \iff b \le a\backslash c.$$

• Two unary order-reversing involutions $\sim$, $-$, satisfying

$\sim(-a) = a, \quad -(\sim a) = a,$

and for all $a, b \in A$,

$$a \le b \implies -b \le -a,\quad \sim b \le \sim a.$$

Distributivity conditions on negations include:

$$\sim(a \vee b) = \sim a \wedge \sim b,\qquad -(a \vee b) = -a \wedge -b.$$

There exists a constant $0 := \sim 1 = -1$ such that $\sim a = a\backslash 0$, $-a = 0/a$.

These algebras, also known as distributive De Morgan involutive full Lambek algebras, can be equivalently characterized as distributive residuated lattices with two anti-monotone involutive unary operations interdefinable by the above axioms (Craig et al., 22 Jan 2026, Craig et al., 12 May 2025).

2. Relation to Known Structures

DInFL-algebras strictly generalize multiple well-studied algebraic varieties:

• Relation algebras (RAs): These correspond to cyclic DInFL-algebras with a Boolean lattice, satisfying an additional involutive Boolean complement $\neg$ and De Morgan's product law. Explicitly,

$\neg(a \cdot b) = \sim(-\neg b \cdot -\neg a).$

• Sugihara monoids: These are commutative, cyclic DInFL-algebras with $0$ as the lattice bottom; they provide the algebraic semantics for relevance logic RM.
• MV-algebras: Chang's MV-algebras arise as commutative, cyclic DInFL-algebras with the identification $\sim a = -a$ and suitable additional MV-law.

This inclusion is summarized in the following table:

Structure	Additional Conditions	Reference
Relation algebra	Boolean lattice, third involution $\neg$, De Morgan law	(Craig et al., 22 Jan 2026)
Sugihara monoid	Commutative, $0$ bottom	(Craig et al., 22 Jan 2026)
MV-algebra	Commutative, cyclic, $\sim a = -a$	(Craig et al., 22 Jan 2026)

3. Construction via Complete Distributivity and Involutive Quantales

The class of DInFL-algebras has a categorical realization via quantales of endomorphisms. Let $L$ be a complete lattice. The set $Q(L)$ of all join-continuous endofunctions of $L$ forms a unital quantale under composition and pointwise join. The central result (Santocanale, 2019):

• $Q(L)$ admits an involutive (i.e., non-commutative cyclic $\star$-autonomous) quantale structure if and only if $L$ is completely distributive. In this case, the involution is given by the right-adjoint $p(f)$ of any $f \in Q(L)$ (i.e., $f^\star = f^{\wedge\wedge}$ via Raney transforms).
• The dual tensor can be given by $g \curlywedge f = (f^\star \circ g^\star)^\star$ and coincides with convolution in the quantale of meet-continuous maps.

Thus, for every completely distributive lattice $L$, the quantale $Q(L)$ yields a DInFL-algebra, and every such involutive quantale arises from some $L$ with this property. Key examples include $L$ a complete chain or $L = D(P)$ for a poset $P$ (Santocanale, 2019).

4. Pregroup-based and Relational Representation

A construction from pregroups yields a class of DInFL-algebras with concrete relational realizations (Craig et al., 22 Jan 2026):

• For a pregroup $(P, \leq, \cdot, 1, {}^\ell, {}^r)$, consider the lattice of upward-closed subsets $\mathsf{Up}(P)$. Define operations
  • Monoid: $$U \cdot V = \uparrow\{x \cdot y : x \in U, y \in V\}$$,
  • Residuals and unary involutions via pregroup left and right inverses,
  • $\sim U = \{x : x^r \notin U\}$, $-U = \{x : x^\ell \notin U\}$.
• Every such algebra is a DInFL-algebra.
• There exists a faithful embedding $\sigma: \mathsf{Up}(P) \to \mathsf{Up}(P^2)$ into an algebra of binary relations, where the operations correspond to relational composition, converse, and involution. The involutive structure on $\mathsf{Up}(P^2)$ is induced naturally.
• For finite pregroups, relational representations of DInFL-algebras typically feature non-Boolean lattice reducts; the Sugihara chains provide canonical finite examples.

When $P$ carries a further order-reversing involutive operation, the upset construction induces a distributive quasi-relation algebra representation (Craig et al., 22 Jan 2026).

5. Duality and Frame Representations

A duality theory for DInFL-algebras has been developed in direct analogy with Stone and Priestley duality for distributive lattices (Craig et al., 12 May 2025):

• For complete perfect DInFL-algebras, duals are given by posets $W$ equipped with an up-set $I$, two order-reversing involutions, and a binary operation $\circ$, forming a DInFL-frame.
• The complex algebra of any DInFL-frame is the upset lattice of $W$ with algebraic structure induced from the frame. Conversely, the set of completely join-irreducible elements of a DInFL-algebra forms such a frame, giving a dual equivalence between categories.
• Non-complete cases admit extensions via Priestley-style topologies and doubly-pointed frames; every DInFL-algebra has an associated doubly-pointed DInFL-space, and every such space yields a DInFL-algebra by taking the appropriate clopen up-set algebra.

This duality is summarized by:

Dual Structure	Algebraic Counterpart	Reference
DInFL-frame	Complete perfect DInFL-algebra	(Craig et al., 12 May 2025)
Doubly-pointed space	Arbitrary DInFL-algebra	(Craig et al., 12 May 2025)

6. Representation Theory and Small Model Classification

DInFL-algebras are representable as subalgebras of lattices of binary relations, particularly via up-sets of ordered equivalence relations (Craig et al., 12 May 2025). If $\alpha$ is an order-automorphism, then

$$(\mathsf{Up}(E), \cap, \cup, ;, \alpha, R \mapsto R^{c\,\smallsmile};\alpha)$$

forms a DInFL-algebra. A DInFL-algebra is called representable if it embeds into such a structure, or, equivalently, into a product of full weakening-relation-algebras.

Finite model enumeration using Mace4/Prover9 yields:

Size	Number of non-isomorphic DInFL-algebras	Notable Properties
1	1	Trivial
2	1	Boolean/cyclic
3	2	Includes Sugihara chain $S_3$
4	9	Mix of cyclic/non-cyclic
5	8
6	43	Many, most noncommutative

Among algebras of size $\leq 6$, many cyclic (Sugihara) and commutative DInFL-algebras are known to be representable; some non-cyclic, non-commutative cases remain open. Theorems characterize which finite DInFL-algebras can be realized as term subreducts of representable relation algebras, and tables in (Craig et al., 12 May 2025) list all such known representations.

7. Structural Consequences and Categorical Aspects

The family of distributive involutive FL-algebras is closely governed by order-theoretic and categorical properties:

• Every involutive quantale $Q(L)$ arises precisely from a completely distributive $L$ and is itself completely distributive as a quantale.
• The subcategory cdLatt of completely distributive lattices is $\star$-autonomous and is the largest full subcategory of sup-lattices admitting an involutive quantaloid structure; this categorical closure provides a natural algebraic habitat for DInFL-algebras (Santocanale, 2019).
• Embeddings of involutive residuated lattices into quantales $Q(L)$ are only possible for distributive lattices.
• There are at most two cyclic (dualizing) elements in $Q(L)$; the critical one, $o_L(x) = \bigvee\{ t \mid t \le x \}$, is dualizing iff $L$ is completely distributive.

These results collectively delineate the scope, internal structure, and representation-theoretic boundaries for DInFL-algebras across algebraic, order-theoretic, and categorical frameworks (Santocanale, 2019, Craig et al., 22 Jan 2026, Craig et al., 12 May 2025).