On Quantum-MV Algebras - Part I: The Orthomodular Algebras

We prove that almost all the properties of quantum-MV algebras are verified by orthomodular algebras, the new algebras introduced in a previous paper. We put a special insight on transitive antisymmetric orthomodular (taOM) algebras, generalizations of MV algebras. We make the connection with IMTL and NM algebras. In memoriam Dragos. Vaida (1933 – 2020)

Pseudo Commutative Double Basic Algebras

In this paper, we study the concept of pseudo commutative double basic algebras and investigate some related results. We prove that there are relations among pseudo commutative double basic algebras and other logical algebras such as pseudo hoops, pseudo BCK-algebras and double MV-algebras. We obtain a close relation between pseudo commutative double basic algebras and pseudo residuted l-groupoids. Then we investigate the properties of the boolean center of pseudo commutative double basic algebras and we use the boolean elements to define and study algebras on subintervals of pseudo commutative double basic algebras.

A relationship between the category of chain MV-algebras and a subcategory of abelian groups

The category of MV-algebras is equivalent to the category of abelian lattice ordered groups with strong units. In this article we introduce the category of circled abelian groups and prove that the category of chain MV-algebras is isomorphic with the category of chain circled abelian groups. In the last section we show that the category of chain MV-algebras is a subcategory of abelian cyclically ordered groups.

Injective and projective semimodules over involutive semirings

We show that the term equivalence between MV-algebras and MV-semirings lifts to involutive residuated lattices and a class of semirings called involutive semirings. The semiring perspective leads to a necessary and sufficient condition for the interval [Formula: see text] to be a subalgebra of an involutive residuated lattice, where [Formula: see text] is the dualizing element. We also import some results and techniques of semimodule theory in the study of this class of semirings, generalizing results about injective and projective MV-semimodules. Indeed, we note that the involution plays a crucial role and that the results for MV-semirings are still true for involutive semirings whenever the Mundici functor is not involved. In particular, we prove that involution is a necessary and sufficient condition in order for projective and injective semimodules to coincide.