Pawlak–Brouwer–Zadeh Lattice

• Pawlak–Brouwer–Zadeh lattice is a bounded lattice with dual involutive complements (Kleene and Brouwer) characterized by paraorthomodularity and the strong De Morgan law.
• It generalizes orthomodular lattices and antiortholattices, enabling rich subvariety structures through ordinal and horizontal sum constructions.
• The algebraic framework underpins many-valued and quantum logics by clearly distinguishing vagueness from ambiguity and modeling spectral properties.

A Pawlak–Brouwer–Zadeh lattice (PBZ*-lattice) is a variety of bounded lattices endowed with two involutive complements—the Kleene and Brouwer complements—characterized by paraorthomodularity and the strong De Morgan law. PBZ*-lattices generalize both orthomodular lattices and antiortholattices, providing a unified setting for modeling sharp and unsharp quantum-logical structures as well as a semantic foundation for many-valued logics distinguishing vagueness from ambiguity. Their subvariety lattice exhibits extreme richness, admitting complete structural descriptions via ordinal and horizontal sum constructions, and forms the algebraic backbone for seven-valued logics underlying rough set theory and quantum logic (Mureşan, 2019, Giuntini et al., 2018, Greco et al., 2023).

1. Algebraic Structure and Axiomatics

A PBZ*-lattice is a tuple

$$\mathcal{L}=(L, \wedge, \vee, 0, 1, {}', {}^{\circ})$$

where $(L, \wedge, \vee, 0, 1)$ is a bounded lattice, and the unary operations ${}'$ (Kleene involution) and ${}^{\circ}$ (Brouwer complement) satisfy the following equational conditions:

(A) Bounded lattice laws:

• Commutativity, associativity, absorption for $\wedge,\vee$
• $x \wedge 0 \approx 0$, $x \vee 1 \approx 1$

(B) Kleene involution:

• $x'' \approx x$
• $x \leq y \implies y' \leq x'$

(C) Pseudo-Kleene law (Strong Kleene):

$$(x \wedge x') \vee (y \wedge y') \approx (x \wedge x') \vee (y \vee y')$$

(D) Brouwer complement (BZ-lattice) axioms:

• $(L, \wedge, \vee, 0, 1)$0
• $(L, \wedge, \vee, 0, 1)$1
• $(L, \wedge, \vee, 0, 1)$2
• $(L, \wedge, \vee, 0, 1)$3

(E) Strong De Morgan (SDM):

• $(L, \wedge, \vee, 0, 1)$4
• $(L, \wedge, \vee, 0, 1)$5

or in the single-variable form:

• $(L, \wedge, \vee, 0, 1)$6
• $(L, \wedge, \vee, 0, 1)$7

(F) Paraorthomodularity (POM):

$(L, \wedge, \vee, 0, 1)$8

This can be rendered equationally in the presence of SDM.

PBZ*-lattices thus form a finitely based variety, denoted $(L, \wedge, \vee, 0, 1)$9.

2. Relation to Orthomodular Lattices and Antiortholattices

PBZ*-lattices encompass several classical algebraic structures as subvarieties or limit cases:

• Orthomodular lattices (OML): Recovered by identifying ${}'$0 (Brouwer and Kleene complements coincide). The BZ and POM axioms then reduce to standard ortholattice and orthomodularity axioms, and every OML is a PBZ*-lattice (Mureşan, 2019, Giuntini et al., 2018).
• Antiortholattices (AOL): Characterized by trivial Brouwer complement (${}'$1), or equivalently, only ${}'$2 and ${}'$3 are sharp (${}'$4 only for ${}'$5). These have directly irreducible lattice reducts, and if distributive, only ${}'$6 and ${}'$7 are complemented (Mureşan, 2019).

PBZ*-lattices, therefore, interpolate between OML (maximally sharp) and AOL (maximally fuzzy), unifying both structures in a single variety.

3. Subvariety Structure and Key Isomorphisms

The variety ${}'$8 contains a rich and well-understood lattice of subvarieties, with special attention to the subvariety ${}'$9 (strongly De Morgan antiortholattices). Let ${}^{\circ}$0 denote the variety of pseudo-Kleene algebras (bounded involution lattices satisfying the SK law):

• For any ${}^{\circ}$1, define ${}^{\circ}$2 (ordinal sum), with ${}^{\circ}$3 the two-element chain.
• There is a lattice isomorphism: ${}^{\circ}$4 and thus: ${}^{\circ}$5 where ${}^{\circ}$6 denotes the lattice of subvarieties, and ${}^{\circ}$7 is the ordinal sum.
• This isomorphism enables all subvarieties of ${}^{\circ}$8 to be described by transfer of axiomatizations from PKA, and shows that the variety PKA is generated by the class of bounded involution reducts of SAOL.
• The distributive and modular subvarieties, as well as their varietal joins and covers, are precisely axiomatized by combinations of De Morgan, weak De Morgan, and orthomodular-type identities (Mureşan, 2019, Giuntini et al., 2018).

4. Infinite Chains, Constructions, and Irreducibility

PBZ*-lattices admit an abundance of ascending chains and structural constructions:

• Infinite Chain in Distributive Case: In the distributive subvariety, the chain

${}^{\circ}$9

never collapses, as each inclusion adds another antiortholattice $\wedge,\vee$0 (Mureşan, 2019).

• Chains in Modular/Full Lattice: Similar ascending chains exist in the modular and in the full PBZL*, formed by ordinal and glued sums with modular ortholattices $\wedge,\vee$1 and antiortholattices $\wedge,\vee$2.
• Ordinal and Horizontal Sums: PBZ*-lattices are closed under both ordinal sums (gluing a bounded lattice, a pseudo-Kleene algebra, and the dual lattice) and horizontal sums (identifying bounds of two PBZ*-lattices, provided at least one is orthomodular). The congruence structure of these sums directly determines subdirect irreducibility (Giuntini et al., 2018).
• Irreducibility Criteria: A PBZ*-lattice is subdirectly irreducible iff the zero congruence of its PBZ-congruence lattice is meet-irreducible; for antiortholattices, all nontrivial members are directly irreducible (Giuntini et al., 2018).

5. PBZ*-Lattices and Many-Valued Logics

PBZ*-lattices provide a general algebraic foundation for many-valued logics, especially in contexts distinguishing between imprecision and conflict:

• Set-Theoretic Model: Given a finite universe $\wedge,\vee$3 and equivalence relation $\wedge,\vee$4, the PBZ-lattice is concretely realized as $\wedge,\vee$5, with operations:
  • $\wedge,\vee$6, $\wedge,\vee$7 (meet, join)
  • $\wedge,\vee$8 (Kleene/Zadeh complement): $\wedge,\vee$9
  • $x \wedge 0 \approx 0$0 (Brouwer complement): $x \wedge 0 \approx 0$1
  • Pawlak operator $x \wedge 0 \approx 0$2: $x \wedge 0 \approx 0$3 (Greco et al., 2023)
• Seven-Valued Semantics: Each element $x \wedge 0 \approx 0$4 partitions $x \wedge 0 \approx 0$5 into seven regions, corresponding to "definitely true", "sometimes true", "unknown", "contradictory", "fully contradictory", "sometimes false", and "definitely false"—denoted $x \wedge 0 \approx 0$6—which form a chain under the order "at least as false" or "at least as true".
• Collapse to Coarser Logics: Partitioning these seven values into $x \wedge 0 \approx 0$7 blocks yields coarser $x \wedge 0 \approx 0$8-valued logics. Belnap's four-valued logic arises as one such collapse, preserving the distinction between "unknown" (vagueness/imprecision) and "contradictory" (ambiguity/conflict) (Greco et al., 2023).
• Separation of Vagueness and Ambiguity: The underlying structure ensures that vagueness (the $x \wedge 0 \approx 0$9 region) and ambiguity ($x \vee 1 \approx 1$0, $x \vee 1 \approx 1$1 regions) are inherently separated; no homomorphic image preserving both complements can merge these values, which is unique among algebraic semantics for many-valued logics (Greco et al., 2023).

6. Applications in Quantum Logic

PBZ*-lattices serve as algebraic abstractions of the effect algebra of Hilbert space operators:

• Kleene Involution: Corresponds to $x \vee 1 \approx 1$2 on effects (Hilbert space context).
• Brouwer Complement: $x \vee 1 \approx 1$3 "the sharp part" of $x \vee 1 \approx 1$4.

Interpretation:

• Orthomodular lattices model sharp quantum predicates.
• Antiortholattices represent extreme fuzzy effects.
• PBZ*-lattices encapsulate both via a single finitely axiomatized variety.

The paraorthomodularity law reflects the nonexistence of simultaneous orthogonal decompositions beyond sharpness, while the strong De Morgan law models spectral properties such as $x \vee 1 \approx 1$5. The structure of PBZ*-lattices thus underpins the formal semantics of generalized quantum logics (Mureşan, 2019).

7. Summary Table: Key Classes and Constructions

Structure	Definitional Condition	Notable Feature
OML	$x \vee 1 \approx 1$6	Standard orthomodularity
AOL	$x \vee 1 \approx 1$7	Only trivial sharp elements
PBZ*-lattice	All axioms (A)–(F)	Unifies OML and AOL, two complements
Ordinal Sum $x \vee 1 \approx 1$8	$x \vee 1 \approx 1$9	Interpolates lattice and PKA
Horizontal Sum	$x'' \approx x$0: $x'' \approx x$1 PBZ*-lattices, $x'' \approx x$2 or $x'' \approx x$3 OML	Construction closed if orthomodular

This organizational structure facilitates the transfer of axiomatizations, congruence analysis, and structural results between classical and fuzzy logics, as well as providing the unique setting for distinguishing forms of uncertainty (Mureşan, 2019, Giuntini et al., 2018, Greco et al., 2023).