Related papers: Strong quasi-MV* algebras and their logics
In this article, we introduce the notions of weak boundary repre- sentation, quasi hyperrigidity and weak peak points in the non-commutative setting for operator systems in C* algebras. An analogue of Saskin theorem relating quasi…
We observe almost divisibility for the original Cuntz semigroup of a simple AH algebra with strict comparison. As a consequence, the properties of strict comparison, finite nuclear dimension, and Z-stability are equivalent for such…
We introduce a two-sort weighted modal logic for possibilistic reasoning with fuzzy formal contexts. The syntax of the logic includes two types of weighted modal operators corresponding to classical necessity ($\Box$) and sufficiency…
We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental…
The quasi-partition algebras were introduced by Daugherty and the first author as centralizers of the symmetric group. In this article, we give a more general definition of these algebras and give a construction of their simple modules. In…
Real-valued logics underlie an increasing number of neuro-symbolic approaches, though typically their logical inference capabilities are characterized only qualitatively. We provide foundations for establishing the correctness and power of…
A lexicographic pseudo MV-algebra is an algebra that is isomorphic to an interval in the lexicographic product of a linear unital group with an arbitrary $\ell$-group. We present conditions when a pseudo MV-algebra is lexicographic. We show…
In this article we introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators $\forall$ and $\exists$. After a study of the basic properties of this variety we show that this class is the equivalent…
We define a notion of tracial $\mathcal{Z}$-absorption for simple not necessarily unital C*-algebras, study it systematically, and prove its permanence properties. This extends the notion defined by Hirshberg and Orovitz for unital…
In the present paper, we endow a family of axiomatic extensions of semi De Morgan logic with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds…
In this paper, we focus on the variety DHMSH of dually hemimorphic semi-Heyting algebras from a logical point of view. Firstly, we present a Hilbert-style axiomatization of a new logic called Dually hemimorphic semi-Heyting logic (DHMSH,…
We prove that faithful traces on separable and nuclear C*-algebras in the UCT class are quasidiagonal. This has a number of consequences. Firstly, by results of many hands, the classification of unital, separable, simple and nuclear…
This paper studies finitely generated quasivarieties of Sugihara algebras. These quasivarieties provide complete algebraic semantics for certain propositional logics associated with the relevant logic R-mingle. The motivation for the paper…
We construct countable groups $G$ with the following new degree of W*-superrigidity: if $L(G)$ is virtually isomorphic, in the sense of admitting a bifinite bimodule, with any other group von Neumann algebra $L(\Lambda)$, then the groups…
We show that the dimension of the Cuntz semigroup of a C*-algebra is determined by the dimensions of the Cuntz semigroups of its separable sub-C*-algebras. This allows us to remove separability assumptions from previous results on the…
In the present paper we investigate a new class of infinite-dimensional modules over the hyperalgebra of a semi-simple algebraic group in positive chararacteristic called quasi-Verma modules. We provide a purely algebraic construction of…
The theory of exact C*-algebras was introduced by Kirchberg and has been influential in recent development of C*-algebras. A fundamental result on exact C*-algebras is a local characterization of exactness. The notion of weakly exact von…
We denote by Conc(A) the semilattice of all finitely generated congruences of an (universal) algebra A, and we define Conc(V) as the class of all isomorphic copies of all Conc(A), for A in V, for any variety V of algebras. Let V and W be…
We consider the quantum affine vertex algebra $\mathcal{V}_{c}(\mathfrak{gl}_N)$ associated with the rational $R$-matrix, as defined by Etingof and Kazhdan. We introduce certain subalgebras $\textrm{A}_c (\mathfrak{gl}_N)$ of the completed…
We describe representation theorems for local and perfect MV-algebras in terms of ultraproducts involving the unit interval [0,1]. Furthermore, we give a representation of local Abelian lattice-ordered groups with strong unit as…