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})$.

On complemented, uniquely complemented and uniquely complemented nondistributive lattices (a historical and epistemological note about a mathematical mystery)

On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

Operators on complemented lattices

On additive complement with special structures

Lattice-theoretic Models of Conjectures, Hypotheses and Consequences

On non-minimal complements

Noncrossing arithmetics

Boundedness of ǫ-lc Complements on Surfaces

Complementation of Subquandles

The operator of relative complementation

Finite distributive nearlattices

On additive complements in the complement of a set of natural numbers

Lattices and Their Consistent Quantification

The variety of complemented lattices where the Sasaki operations form an adjoint pair

A counterexample to the complemented subspace problem in Banach lattices

The Birkhoff completion of finite lattices

Enriched Quantales Arising from Complete Orthomodular Lattices

Ordinal and Horizontal Sums Constructing PBZ*-lattices

An Analogue of Distributivity for Ungraded Lattices

A Cubical Perspective on Complements of Union-Closed Families of Sets

Some mathematical mysteries in lattices