Related papers: Strong quasi-MV* algebras and their logics

In this paper we show that every locally finite quasivariety of MV-algebras is finitely generated and finitely based. To see this result we study critical MV-algebras. We also give axiomatizations of some of these quasivarieties.

Let g be a complex, semisimple Lie algebra. We prove the existence of a quasi-Coxeter, quasitriangular quasibialgebra structure on the enveloping algebra of g, which binds the quasi-Coxeter structure underlying the Casimir connection of g…

In the study of locally convex quasi *-algebras an important role is played by representable linear functionals; i.e., functionals which allow a GNS-construction. This paper is mainly devoted to the study of the continuity of representable…

With any non necessarily orientable unpunctured marked surface (S,M) we associate a commutative algebra, called quasi-cluster algebra, equipped with a distinguished set of generators, called quasi-cluster variables, in bijection with the…

The relationship between fuzzy algebras and semirings is explored with fuzzy algebra operators replacing the arithmetic operators of semirings. A new class of fuzzy structures which are similar to semirings is defined. Results of partial…

We extend the relation between quasi-modular forms and modular forms to a wider class of functions. We then relate both forms to vector-valued modular forms with symmetric power representations, and prove a general structure theorem for…

Lukasiewicz logic is a "fuzzy" logic in which truth value can be real numbers in the unit interval. There are connectives for min, max, addition and complement (1-x). The "value" of a closed formula in a fuzzy (relational model) is defined…

An MV-algebra (equivalently, a lattice-ordered Abelian group with a distinguished order unit) is strongly semisimple if all of its quotients modulo finitely generated congruences are semisimple. All MV-algebras satisfy a Chinese Reminder…

The aim of the paper is to study epicomplete objects in the category of $MV$-algebras. A relation between injective $MV$-algebras and epicomplete $MV$-algebras is found, an equivalence condition for an $MV$-algebra to be epicomplete is…

An algebra is said to be quasi-directly finite when any left-invertible element in its unitization is automatically right-invertible. It is an old observation of Kaplansky that the von Neumann algebra of a discrete group has this property;…

The concept of quasi-isometric embedding maps between $*$-algebras is introduced. We have obtained some basic results related to this notion and similar to quasi-isometric embedding maps on metric spaces, under some conditions, we give a…

In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class…

We present new data structures for quasistrict higher categories, in which associativity and unit laws hold strictly. Our approach has low axiomatic complexity compared to traditional algebraic definitions of higher categories, and we use…

A theory of quasi modules at infinity for (weak) quantum vertex algebras including vertex algebras was previously developed in \cite{li-infinity}. In this current paper, quasi modules at infinity for vertex algebras are revisited. Among the…

We define the class of weakly approximately divisible unital C*-algebras and show that this class is closed under direct sums, direct limits, any tensor product with any C*-algebra, and quotients. A nuclear C*-algebra is weakly…

Non-commutative $L^p$-spaces are shown to constitute examples of a class of Banach quasi *-algebras called CQ*-algebras. For $p\geq 2$ they are also proved to possess a {\em sufficient} family of bounded positive sesquilinear forms…

We introduce algebraic dynamical systems, which consist of an action of a right LCM semigroup by injective endomorphisms of a group. To each algebraic dynamical system we associate a C*-algebra and describe it as a semigroup C*-algebra. As…

We prove that the category of abstract Cuntz semigroups is bicomplete. As a consequence, the category admits products and ultraproducts. We further show that the scaled Cuntz semigroup of the (ultra)product of a family of C*-algebras agrees…

This note aims to investigate the tensor product of two given Hilbert quasi *-algebras and its properties. The construction proposed in this note turns out to be again a Hilbert quasi *-algebra, thus interesting representability properties…

The completion of a (normed) $C^*$-algebra $A_0[\| \cdot \|_0]$ with respect to a locally convex topology $\tau$ on $A_0$ that makes the multiplication of $A_0$ separately continuous is, in general, a quasi *-algebra, and not a locally…