Sette Implicative Hyperlattices

• Sette implicative hyperlattices are hyperalgebras defined on a hyperlattice with a hyperimplication operation constrained by residuation-like maximality conditions.
• They extend traditional implicative lattices by incorporating maximal solutions to x ⋀ z ⪯ y, forming the basis for hyper swap structures that underpin Cω semantics.
• The framework establishes a categorical equivalence between Sette implicative hyperlattices and enriched hyperalgebras, with extensions to logics such as C_min and Cω⁺.

Searching arXiv for the specified paper and closely related work to ground the article in current research. Sette implicative hyperlattices are hyperalgebras of the form $$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$ in which the reduct $\langle L,\curlywedge,\curlyvee\rangle$ is a hyperlattice and the hyperoperation $\multimap$ is constrained by residuation-like conditions. In the study of da Costa’s paraconsistent logic $C_\omega$, they function as the positive hyperalgebraic base for hyper swap structures, thereby lifting earlier swap-structure semantics from implicative lattices to hyperalgebraic settings. The resulting framework yields soundness and completeness for $C_\omega$, and it supports a Kalman-style categorical equivalence between Sette implicative hyperlattices and a corresponding class of enriched hyperalgebras (Coniglio et al., 7 Sep 2025).

1. Definition and internal characterization

A Sette implicative hyperlattice, also called an IHL, is defined as a hyperalgebra $$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$ such that $\langle L,\curlywedge,\curlyvee\rangle$ is a hyperlattice and, for every $x,y,z,z'\in L$, the hyperoperation $\multimap$ satisfies:

• (I1) $z \in x \multimap y$ implies that $\langle L,\curlywedge,\curlyvee\rangle$0;
• (I2) $\langle L,\curlywedge,\curlyvee\rangle$1 implies that $\langle L,\curlywedge,\curlyvee\rangle$2;
• (I3) $\langle L,\curlywedge,\curlyvee\rangle$3 and $\langle L,\curlywedge,\curlyvee\rangle$4 implies that $\langle L,\curlywedge,\curlyvee\rangle$5.

These clauses fix the implication hyperoperation through the preorder-theoretic behavior of $\langle L,\curlywedge,\curlyvee\rangle$6. The paper gives a characterization that makes this explicit: if $\langle L,\curlywedge,\curlyvee\rangle$7 is a hyperlattice, then $\langle L,\curlywedge,\curlyvee\rangle$8 is an IHL iff

$\langle L,\curlywedge,\curlyvee\rangle$9

for every $\multimap$0, where

$\multimap$1

Accordingly, the implication is not an arbitrary hyperoperation; it is exactly the set of maximal solutions to the order condition $\multimap$2 (Coniglio et al., 7 Sep 2025).

This formulation places the implicative component of an IHL in direct correspondence with a hyper-residuation pattern. A plausible implication is that the algebraic role of $\multimap$3 is determined entirely by the hyperlattice order structure together with maximality, rather than by an independent primitive operation.

2. Relation to Morgado hyperlattices and implicative lattices

The framework presents IHLs as the hyperstructural counterpart of ordinary implicative lattices. The underlying hyperlattice component is Morgado-style: given a preorder $\multimap$4,

$\multimap$5

A Sette implicative hyperlattice is then such a hyperlattice equipped with a hyper-implication satisfying (I1)–(I3).

The conceptual relation to ordinary implicative lattices is central. Earlier swap-structure semantics for $\multimap$6 had been developed over implicative lattices; in the hyperalgebraic setting, that algebraic base is replaced by IHLs. The paper therefore treats IHLs as the correct hyperalgebraic analogue of the previously used lattice-theoretic semantics (Coniglio et al., 7 Sep 2025).

The same continuity appears in the behavior of stable subsets. For stable subsets $\multimap$7, the implication is stable and uniform: $\multimap$8 for all $\multimap$9, $C_\omega$0, and

$C_\omega$1

These identities preserve the logical behavior needed for $C_\omega$2 while moving from ordinary algebraic structures to hyperalgebraic ones. This suggests that the passage from implicative lattices to IHLs is not merely formal generalization; it is designed to retain the semantic discipline of implication within a hyperstructural environment.

3. Hyper swap structures over IHLs

The role of IHLs becomes concrete in the construction of hyper swap structures for $C_\omega$3. The ordinary swap-structure semantics recalled in the paper starts from an implicative lattice $C_\omega$4 and uses the domain

$C_\omega$5

where $C_\omega$6 encodes the values of $C_\omega$7 and $C_\omega$8. The associated hyperoperations are

$C_\omega$9

$C_\omega$0

$C_\omega$1

$C_\omega$2

The paper’s main novelty is to reproduce this pattern over an IHL $C_\omega$3. It defines

$C_\omega$4

and then the hyper swap structure

$C_\omega$5

by stipulating

$C_\omega$6

$C_\omega$7

$C_\omega$8

$C_\omega$9

The stated purpose of these hyper swap structures is twofold. Semantically, they provide another Nmatrix semantics for $$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$0, now built over hyperlattices. Categorically, they enable a Kalman-style functor between hyperalgebra categories, in parallel with the role played by twist structures in ordinary algebraic contexts (Coniglio et al., 7 Sep 2025).

4. Semantics for da Costa logic $$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$1

For an IHL $$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$2, the associated hyper swap structure $$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$3 is proved to be a HC$$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$4A, with

$$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$5

This identifies the designated part of the semantics directly with $$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$6 in the constructed hyperalgebra.

The semantic result is given by the theorem

$$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$7

Thus, derivability in $$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$8, validity in the class $$\mathsf L=\langle L,\curlywedge,\curlyvee,\multimap\rangle$$9, and validity in the hyper swap semantics coincide (Coniglio et al., 7 Sep 2025).

Within the scope of the paper, this theorem integrates the hyperalgebraic and proof-theoretic perspectives. The positive component is supplied by IHLs, while the paraconsistent negation is handled through the nondeterministic operation $\langle L,\curlywedge,\curlyvee\rangle$0. A common misconception would be to treat the construction as merely a notational variant of earlier swap semantics. The paper’s actual claim is stronger: the hyperalgebraic base is changed from implicative lattices to IHLs, and the resulting semantics is shown to be sound and complete for $\langle L,\curlywedge,\curlyvee\rangle$1 in its own right.

5. Kalman functors, enriched hyperalgebras, and equivalence

The categorical core of the framework is a Kalman-style functor

$\langle L,\curlywedge,\curlyvee\rangle$2

On morphisms, if $\langle L,\curlywedge,\curlyvee\rangle$3 is an IHL-morphism, then

$\langle L,\curlywedge,\curlyvee\rangle$4

This is well-defined because $\langle L,\curlywedge,\curlyvee\rangle$5 implies $\langle L,\curlywedge,\curlyvee\rangle$6.

The reverse direction is not obtained by naïvely forgetting structure. The paper explicitly notes that the reducts remain hyperalgebraic, so a suitable enriched class is required, together with a quotient collapsing the hyperinformation back to an IHL. For this purpose it introduces enriched hyper $\langle L,\curlywedge,\curlyvee\rangle$7 algebras, or EHC$\langle L,\curlywedge,\curlyvee\rangle$8As, namely HC$\langle L,\curlywedge,\curlyvee\rangle$9As $x,y,z,z'\in L$0 satisfying: $x,y,z,z'\in L$1

$x,y,z,z'\in L$2

$x,y,z,z'\in L$3

is transitive;

$x,y,z,z'\in L$4

$x,y,z,z'\in L$5

Here $x,y,z,z'\in L$6 is the equivalence relation induced by joint membership in a $x,y,z,z'\in L$7-fiber, and the quotient is

$x,y,z,z'\in L$8

The quotient construction yields a functor

$x,y,z,z'\in L$9

and the paper proves that $\multimap$0 is an IHL for every EHC$\multimap$1A. It then establishes natural isomorphisms

$\multimap$2

which induce

$\multimap$3

Consequently,

$\multimap$4

establish an equivalence of categories (Coniglio et al., 7 Sep 2025).

This equivalence is the main structural statement: Sette implicative hyperlattices and enriched hyper $\multimap$5 algebras encode the same semantics up to categorical equivalence. A plausible implication is that the hyper swap presentation and the enriched-hyperalgebra presentation should be regarded as two formally interchangeable perspectives on the same semantic content.

6. Extensions to $\multimap$6 and $\multimap$7

The framework extends to two axiomatic extensions of $\multimap$8.

For $\multimap$9, the added law is

$z \in x \multimap y$0

The corresponding positive base becomes classical, and the relevant hyperlattices are classical implicative hyperlattices (CIHLs), defined as IHLs satisfying

$z \in x \multimap y$1

Equivalently,

$z \in x \multimap y$2

The enriched $z \in x \multimap y$3-algebras are then the EHC$z \in x \multimap y$4As restricted to this classical base, and the category equivalence restricts accordingly: $z \in x \multimap y$5

For $z \in x \multimap y$6, the added axiom is

$z \in x \multimap y$7

In swap structures this forces negation to become deterministic: $z \in x \multimap y$8 The corresponding hyperalgebraic condition changes from $z \in x \multimap y$9 to

$\langle L,\curlywedge,\curlyvee\rangle$00

equivalently,

$\langle L,\curlywedge,\curlyvee\rangle$01

The paper defines the hyper swap structures $\langle L,\curlywedge,\curlyvee\rangle$02 for $\langle L,\curlywedge,\curlyvee\rangle$03 by replacing $\langle L,\curlywedge,\curlyvee\rangle$04 with

$\langle L,\curlywedge,\curlyvee\rangle$05

It then proves soundness, completeness, and category equivalence in the form

$\langle L,\curlywedge,\curlyvee\rangle$06

(Coniglio et al., 7 Sep 2025).

These extensions show that the method is not limited to the base system $\langle L,\curlywedge,\curlyvee\rangle$07. More specifically, the same pattern recurs: one adjusts the positive hyperlattice conditions or the behavior of negation, reconstructs the corresponding hyper swap structures, and recovers a matching categorical equivalence.

7. Conceptual significance within the hyperalgebraic semantics of $\langle L,\curlywedge,\curlyvee\rangle$08

Within the framework developed in the paper, Sette implicative hyperlattices occupy the position of the positive semantic substrate for paraconsistent reasoning in $\langle L,\curlywedge,\curlyvee\rangle$09. They are the structures on which hyper swap semantics is built, and they are the source category for the Kalman-style functor $\langle L,\curlywedge,\curlyvee\rangle$10. Their implication hyperoperation is constrained by maximal solutions to a residuation condition, which keeps the positive fragment tightly controlled while leaving room for nondeterministic treatment of negation.

The paper’s overall contribution is described as conceptual and structural. It shows that Sette implicative hyperlattices are the right hyperalgebraic base for $\langle L,\curlywedge,\curlyvee\rangle$11, develops hyper swap structures to model paraconsistent negation non-deterministically, constructs the functors $\langle L,\curlywedge,\curlyvee\rangle$12 and $\langle L,\curlywedge,\curlyvee\rangle$13, and proves that these yield an equivalence of categories. It further shows that the same methodology extends to $\langle L,\curlywedge,\curlyvee\rangle$14 and $\langle L,\curlywedge,\curlyvee\rangle$15 (Coniglio et al., 7 Sep 2025).

In this perspective, hyperlattices, hyper swap structures, and enriched hyperalgebras are not competing semantics but coordinated representations. The explicit theorem of equivalence makes precise the claim that they are different views of the same logical content.