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 the Equivalence in ZF+BPI of the Hahn–Banach Theorem and Three Classical Theorems

Some observations on a result by Bialinicki-Birula and Zelazko

Banach's theorem in higher order reverse mathematics

Hindman's Theorem in the hierarchy of Choice Principles

The Logic of Cardinality Comparison Without the Axiom of Choice

Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs under Arithmetic

The ZFC analogue of the Halpern-Levy theorem

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem

A new proof of the Herzog-Hibi-Zheng theorem

Formalization of the Axiom of Choice and its Equivalent Theorems

The Braun-Kemer-Razmyslov Theorem for affine PI-algebras

Elementary equivalence in positive logic via prime products

The Cantor–Bernstein theorem: how many proofs?

Ordinal and Horizontal Sums Constructing PBZ*-lattices

Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's Alternative

On two recent extensions of the Big Five of Reverse Mathematics

An equivalence between inverse sumset theorems and inverse conjectures for the U^3 norm

Adding an Abstraction Barrier to ZF Set Theory

On equivalence theorems of Minkowski spaces and applications in Finsler geometry

Mordell--Tornheim Zeta Values, Their Alternating Version, and Their Finite Analogs

Meaning in Classical Mathematics: Is it at Odds with Intuitionism?