Related papers: Strong quasi-MV* algebras and their logics
Quasi-MV* algebras were introduced as generalizations of MV*-algebras and quasi-MV algebras. The recent investigation into quasi-MV* algebras shows that they are closely related to quantum computational logic and complex fuzzy logic. In…
Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…
Quasi *-algebras possessing a sufficient family $\mathcal{M}$ of invariant positive sesquilinear forms carry several topologies related to $\mathcal{M}$ which make every *-representation continuous. This leads to define the class of locally…
Using an algebraic framework we solve a problem posed in [5] and [7] about the axiomatizability of a quantum computational type logic related to fuzzy logic. A Hilbert-style calculus is developed obtaining an algebraic strong completeness…
The paper deals with an algebraic extension of $MV$-algebras based on the definition of generalized Boolean algebras. We introduce a new algebraic structure, not necessarily with a top element, which is called an $EMV$-algebra and every…
Let $G$ be a countable group. We introduce several equivalence relations on the set ${\rm Sub}(G)$ of subgroups of $G$, defined by properties of the quasi-regular representations $\lambda_{G/H}$ associated to $H\in {\rm Sub}(G)$ and compare…
A general notion of a quasi-finite algebra is introduced as an algebra graded by the set of all integers equipped with topologies on the homogeneous subspaces satisfying certain properties. An analogue of the regular bimodule is introduced…
In this work we propose a formal system for fuzzy algebraic reasoning. The sequent calculus we define is based on two kinds of propositions, capturing equality and existence of terms as members of a fuzzy set. We provide a sound semantics…
Similar to linear spaces, many examples of quasilinear spaces have a notion of multiplication of the elements. To characterising these examples, in the present paper we generalize the notion of quasilinear spaces and introduce…
Starting from involutive BE algebras, we redefine the quantum-MV algebras, by introducing and studying the notion of quantum-Wajsberg algebras. We define the $\vee$-commutative quantum-Wajsberg algebras and we investigate their properties.…
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras…
We demonstrate that pure C*-algebras form a robust class by proving that pureness follows from very weak comparison and divisibility properties. Using this, we show that every simple, non-elementary C*-algebra with a unique quasitrace and…
In this paper, we introduce a notion of strongly quasi-local algebras. They are defined for each discrete metric space with bounded geometry, and sit between the Roe algebra and the quasi-local algebra. We show that strongly quasi-local…
In this work we study the notions of structural and universal completeness both from the algebraic and logical point of view. In particular, we provide new algebraic characterizations of quasivarieties that are actively and passively…
We introduce the concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set. By using this new idea, we introduce the notions of interval valued $(\in,\ivq)$-fuzzy filters of pseudo $BL$-algebras and…
We study \L ukasiewicz logic enriched with a scalar multiplication with scalars taken in $[0,1]$. Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit intervals of Riesz spaces with a strong unit endowed with…
We examine the question of quasidiagonality for C*-algebras of discrete amenable groups from a variety of angles. We give a quantitative version of Rosenberg's theorem via paradoxical decompositions and a characterization of…
The completion $\overline{A}[\tau]$ of a locally convex *-algebra $A [ \tau ]$ with not jointly continuous multiplication is a *-vector space with partial multiplication $xy$ defined only for $x$ or $y \in A_{0}$, and it is called a…
We prove that separable C*-algebras which are completely close in a natural uniform sense have isomorphic Cuntz semigroups, continuing a line of research developed by Kadison - Kastler, Christensen, and Khoshkam. This result has several…
The paper provides a study of pseudo MV-algebras with square roots. We introduce different notions of a square root on a pseudo MV-algebra, and present their main properties. We show that the class of pseudo-MV-algebras with square roots is…