Related papers: Monadic n$\times$m-valued Lukasiewicz-Moisil algeb…

In this paper, we introduce and investigate monadic NM-algebras: a variety of NM-algebras equipped with universal quantifiers. Also, we obtain some conditions under which monadic NM-algebras become monadic Boolean algebras. Besides, we show…

MV-algebras are an algebraic semantics for Lukasiewicz logic and MV-algebras generated by a finite chain are Heyting algebras where the Godel implication can be written in terms of De Morgan and Moisil's modal operators. In our work, a…

The first system of many-valued logic was introduced by J. Lukasiewicz, his motivation was of philosophical nature as he was looking for an interpretation of the concepts of possibility and necessity. Since then, plenty of research has been…

Moisil logic, having as algebraic counterpart \L ukasiewicz-Moisil algebras, provide an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events.…

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…

In this paper, we enlarge the language of MTL-algebras by a unary operation $\forall$ equationally described so as to abstract algebraic properties of the universal quantifier "for any" in its original meaning. The resulting class of…

In this paper we investigate the description of the complex Leibniz superalgebras with nilindex n+m, where n and m ($m\neq 0$) are dimensions of even and odd parts, respectively. In fact, such superalgebras with characteristic sequence…

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…

This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category-theoretical techniques. We connect such classes of algebras…

In this work we investigate the complex Leibniz superalgebras with characteristic sequence $(n_1,...,n_k|m)$ and nilindex n+m, where $n=n_1+...+n_k,$ n and m (m is not equal to zero) are dimensions of even and odd parts, respectively. Such…

A deformation of the canonical algebra for kinematical observables of the quantum field theory in Minkowski space-time has been considered under the condition of Lorentz invariance. A relativistic invariant algebra obtained depends on…

We introduce in this short note some aspects of the Moyal momentum algebra that we call the Das-Popowicz Mm algebra. Our interest on this algebra is motivated by the central role that it can play in the formulation of integrable models and…

In this article, we continue the study of monadic distributive lattices (or m-lattices) which are a natural generalization of monadic Heyting algebras, introduced by Monteiro and Varsavsky and developed exhaustively by Bezhanishvili. First,…

In the present paper we introduce a certain class of non commutative Orlicz spaces, associated with arbitrary faithful normal locally-finite weights on a semi-finite von Neumann algebra $M.$ We describe the dual spaces for such Orlicz…

In this paper, we introduce the notion of automorphic forms for $GL(n,\BZ)\ltimes \BZ^{(m,n)}$ and discuss invariant differential operators on the Minkowski-Euclid space. The group $GL{n,\BR}\ltimes \BR^{(m,n)}$ is the semidirect product of…

We characterize all profinite MV-algebras, these are MV-algebras that are inverse limits of finite MV-algebras. It is shown that these are exactly direct product of finite \L ukasiewicz's chains. We also prove that the category $\mathbb{M}$…

We define an $ sl(N) $ analog of Onsager's Algebra through a finite set of relations that generalize the Dolan Grady defining relations for the original Onsager's Algebra. This infinite-dimensional Lie Algebra is shown to be isomorphic to a…

Unbounded {\L}ukasiewicz logic is a substructural logic that combines features of infinite-valued {\L}ukasiewicz logic with those of abelian logic. The logic is finitely strongly complete w.r.t.~the additive $\ell$-group on the reals…

In this work we investigate the complex Leibniz superalgebras with characteristic sequence $(n-1, 1 | m_1, ..., m_k)$ and with nilindex equal to $n+m.$ We prove that such superalgebras with the condition $m_2\neq0$ have nilindex less than…

Quantitative algebras are $\Sigma$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations.…