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

An algebra $A$ is said to be strongly semisimple if every principal congruence of $A$ is an intersection of maximal congruences. We give a geometrical characterisation of strongly semisimple MV-algebras in terms of Bouligand-Severi…

We study sheaves in the context of a duality theory for lattice structure endowed with extra operations, and in the context of forcing in a topos. Using Sheaf duality theory of Comer for cylindric algebras, we give a representation theorem…

The multifractal formalism for measures in its original formulation is checked for special classes of measures such as doubling, self-similar, and Gibbs-like ones. Out of these classes, suitable conditions should be taken into account to…

A $\Sigma^*$-algebra is a concrete $C^*$-algebra that is sequentially closed in the weak operator topology. We study an appropriate class of $C^*$-modules over $\Sigma^*$-algebras analogous to the class of $W^*$-modules (selfdual…

In this paper, we characterize quasi-integrable modules, of nonzero level, over twisted affine Lie superalgebras. We show that quasi-integrable modules are not necessarily highest weight modules. We prove that each quasi-integrable module…

Evaluating argument strength in quantitative argumentation systems has received increasing attention in the field of abstract argumentation. The concept of acceptability degree is widely adopted in gradual semantics, however, it may not be…

In this paper, the class of (complex) quasi-Herglotz functions is introduced as the complex vector space generated by the convex cone of ordinary Herglotz functions. We prove characterization theorems, in particular, an analytic…

A quasihomomorphism is a map that satisfies the homomorphism relation up to bounded error. Fujiwara and Kapovich proved a rigidity result for quasihomomorphisms taking values in discrete groups, showing that all quasihomomorphisms can be…

An algebraic proof is presented for the finite strong standard completeness of involutive uninorm logic with fixed point. The result may provide a first step towards settling the open standard completeness problem for involutive uninorm…

We prove that there exists a functorial correspondence between MV-algebras and partially cyclically ordered groups which are wound round of lattice-ordered groups. It follows that some results about cyclically ordered groups can be stated…

In this paper we analyse the structure of the Cuntz semigroup of certain $C(X)$-algebras, for compact spaces of low dimension, that have no $\mathrm{K}_1$-obstruction in their fibres in a strong sense. The techniques developed yield…

The class of quasi-N4-lattices (QN4-lattices) was introduced as a common generalization of quasi-Nelson algebras and N4-lattices, in such a way that N4-lattices are precisely the QN4-lattices satisfying the double negation law (~~x = x) and…

An MV-module is an MV-algebra endowed with a scalar multiplication with scalars in a PMV-algebra (i.e. an MV-algebra endowed with a binary "ring-like" product). We investigate the class of semisimple MV-modules over a semisimple and totally…

We use the mathematical structure of group algebras and $H^{+}$-algebras for describing certain problems concerning the quantum dynamics of systems of angular momenta, including also the spin systems. The underlying groups are ${\rm SU}(2)$…

In previous work, we defined and studied $\Sigma^*$-modules, a class of Hilbert $C^*$-modules over $\Sigma^*$-algebras (the latter are $C^*$-algebras that are sequentially closed in the weak operator topology). The present work continues…

In their recent seminal paper published in the Annals of Pure and Applied Logic, Dubuc and Poveda call an MV-algebra A strongly semisimple if all principal quotients of A are semisimple. All boolean algebras are strongly semisimple, and so…

We investigate classifications of quasitrivial semigroups defined by certain equivalence relations. The subclass of quasitrivial semigroups that preserve a given total ordering is also investigated. In the special case of finite semigroups,…

The main aim of this article is to study tense MV-algebras which are just MV-algebras with new unary operations $G$ and $H$ which express a universal time quantifiers. Tense MV-algebras were introduced by D. Diagonescu and G. Georgescu.…

In this paper, we propose a generalization for the class of laura algebras, which we call almost laura. We show that this new class of algebras retains most of the essential features of laura algebras, especially concerning the important…

In this paper we introduce the notion of near semiring with involution. Generalizing the theory of semirings we aim at represent quantum structures, such as basic algebras and orthomodular lattices, in terms of near semirings with…