Orthogonality relations and operators on bounded quasi-implication algebras

TL;DR

This paper explores the algebraic and relational properties of bounded quasi-implication algebras, introduces monadic variants, and establishes categorical equivalences with quantum monadic algebras, expanding the theoretical framework of quantum logic.

Contribution

It introduces monadic quasi-implication algebras and demonstrates their categorical equivalence with quantum monadic algebras, generalizing previous constructions in ortholattice theory.

Findings

Constructed orthogonality relations from bounded quasi-implication algebras.

Established isomorphism between categories of quantum monadic and monadic quasi-implication algebras.

Developed monadic orthoframes from monadic quasi-implication algebras.

Abstract

In this note, we study various relational and algebraic aspects of the bounded quasi-implication algebras introduced by Hardegree. By generalizing the constructions given by MacLaren and Goldblatt within the setting of ortholattices, we construct various orthogonality relations from bounded quasi-implication algebras. We then introduce certain bounded quasi-implication algebras with an additional operator, which we call monadic quasi-implication algebras, and study them within the setting of quantum monadic algebras. A quantum monadic algebra is an orthomodular lattice equipped with a closure operator, known as a quantifier, whose closed elements form an orthomodular sub-lattice. It is shown that every quantum monadic algebra can be converted into a monadic quasi-implication algebra with the underlying magma structure being determined by the operation of Sasaki implication on the underlying orthomodular lattice. It is then conversely demonstrated that every monadic quasi-implication algebra can be converted into a quantum monadic algebra. These constructions are shown to induce an isomorphism between the category of quantum monadic algebras and the category of monadic quasi-implication algebras. Finally, by generalizing the constructions given by Harding as well as Harding, McDonald, and Peinado in the setting of monadic ortholattices, we construct various monadic orthoframes from monadic quasi-implication algebras.