Abstract:PBZ*-lattices are algebraic structures related to quantum logics, which consist of bounded lattices endowed with two kinds of complements, named {\em Kleene} and {\em Brouwer}, such that the Kleene complement satisfies a weakening of the orthomodularity condition and the De Morgan laws, while the Brouwer complement only needs to satisfy the De Morgan laws for the pairs of elements with their Kleene complements. PBZ*-lattices form a variety $\mathbb{PBZL}^{\ast }$, which includes the variety $\mathbb{OML}$ of orthomodular lattices (considered with an extended signature, by letting their two complements coincide) and the variety $V(\mathbb{AOL})$ generated by the class $\mathbb{AOL}$ of antiortholattices. We investigate the congruences of antiortholattices, in particular of those obtained through certain ordinal sums and of those whose Brower complements satisfy the De Morgan laws, infer characterizations for their subdirect irreducibility and prove that even the lattice reducts of antiortholattices are directly irreducible. Since the two complements act the same on the lattice bounds in all PBZ*-lattices, we can define the horizontal sum of any nontrivial PBZ*-lattices, obtained by glueing them at their smallest and at their largest elements; a horizontal sum of two nontrivial PBZ*-lattices is a PBZ*-lattice exactly when at least one of its summands is an orthomodular lattice. We investigate the algebraic structures and the congruence lattices of these horizontal sums, then the varieties they generate. We obtain a relative axiomatization of the variety $V(\mathbb{OML}\boxplus \mathbb{AOL})$ generated by the horizontal sums of nontrivial orthomodular lattices with nontrivial antiortholattices w.r.t. $\mathbb{PBZL}^{\ast }$, as well as a relative axiomatization of the join of varieties $\mathbb{OML}\vee V(\mathbb{AOL})$ w.r.t. $V(\mathbb{OML}\boxplus \mathbb{AOL})$.

AZ-identities and Strict 2-part Sperner Properties of Product Posets

The Flatness Properties of S -Poset A ( I ) and Rees Factor S -Posets

Definability of band structures on posets

Property (z); direct sums and a note on an a-Browder type theorem

When All S-Posets Are Principally Weakly Flat

On AZ-style identity

Ordinal and Horizontal Sums Constructing PBZ*-lattices

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

A Relationship for LYM Inequalities between Boolean Lattices and Linear Lattices with Applications

Weakly Torsion Free S-Posets

Subpullbacks and Coproducts of $S$-Posets

Homology of Segre powers of Boolean and subspace lattices

Exact structures for persistence modules

Sumset phenomenon in countable amenable groups

An identity involving $h$-polynomials of poset associahedra and type B Narayana polynomials

Regular Schur labeled skew shape posets and their 0-Hecke modules

Poset Products as Relational Models

Finding Product and Sum Patterns in non-commutative settings

Orthogonality Spaces Associated with Posets

The excedance quotient of the Bruhat order, quasisymmetric varieties, and Temperley–Lieb algebras