English
Related papers

Related papers: Some applications of MV algebras

200 papers

We verify that certain algebras appearing in string field theory are algebras over Feynman transform of modular operads which we describe explicitly. Equivalent description in terms of solutions of generalized BV master equations are…

Algebraic Topology · Mathematics 2015-10-02 Martin Doubek , Branislav Jurco , Korbinian Muenster

A square root is a unary operation with some special properties. In the paper, we introduce and study square roots on EMV-algebras. First, the known properties of square roots defined on MV-algebras will be generalized for EMV-algebras, and…

Rings and Algebras · Mathematics 2022-10-04 Anatolij Dvurečenskij , Omid Zahiri

Ordinary algebra of formal power series in one variable is convenient to study by means of the algebra of Riordan matrices and the Riordan group. In this paper we consider algebra of formal power series without constant term, isomorphic to…

Number Theory · Mathematics 2017-02-06 E. Burlachenko

The aim of our paper is twofold. First, we thoroughly study the set of meager elements Mea(E) and the set of hypermeager elements HMea(E) in the setting of homogeneous effect algebras E. Second, we study the property (W+) and the maximality…

Logic · Mathematics 2012-03-28 Josef Niederle , Jan Paseka

We study $\mathbb H$-perfect pseudo MV-algebras, that is, algebras which can be split into a system of ordered slices indexed by the elements of an subgroup $\mathbb H$ of the group of the real numbers. We show when they can be represented…

Rings and Algebras · Mathematics 2013-04-03 Anatolij Dvurečenskij

MV-algebras were introduced by Chang to prove the completeness of the infinite-valued Lukasiewicz propositional calculus. In this paper we give a categorical equivalence between the varieties of (n+1)-valued MV-algebras and the classes of…

Logic · Mathematics 2015-08-25 Marina Lattanzi , Alejandro Petrovich

Positive MV-algebras are the subreducts of MV-algebras with respect to the signature $\{\oplus, \odot, \lor, \land, 0, 1\}$. We provide a finite quasi-equational axiomatization for the class of such algebras.

Logic · Mathematics 2022-06-29 Marco Abbadini , Peter Jipsen , Tomáš Kroupa , Sara Vannucci

Let E be an operator algebra on a Hilbert space with finite-dimensional generated C*-algebra. A classification is given of the locally finite algebras and the operator algebras obtained as limits of direct sums of matrix algebras over E…

Operator Algebras · Mathematics 2007-05-23 S. C. Power

In this paper using the connections between some subvarieties of residuated lattices, we investigated some properties of the lattice of ideals in commutative and unitary rings. We give new characterizations for commutative rings $A$ in…

Rings and Algebras · Mathematics 2022-11-28 Cristina Flaut , Dana Piciu

Using a one-to-one correspondence between observables and their spectral resolutions, we introduce the sum of any two bounded observables of a $\sigma$-MV-effect algebra. This sum is commutative, associative and with neutral element. Under…

Functional Analysis · Mathematics 2017-12-06 Anatolij Dvurečenskij

Let Gr be the affine Grassmannian for a connected complex reductive group G. Let C_G be the complex vector space spanned by (equivalence classes of) Mirkovic-Vilonen cycles in Gr. The Beilinson-Drinfeld Grassmannian can be used to define a…

Algebraic Geometry · Mathematics 2007-05-23 Jared E. Anderson , Mikhail Kogan

In these notes we study the class of divisible MV-algebras inside the algebraic hierarchy of MV-algebras with product. We connect divisible MV-algebras with $\mathbb Q$-vector lattices, we present the divisible hull as a categorical…

Logic · Mathematics 2016-11-03 Serafina Lapenta , Ioana Leustean

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…

Commutative Algebra · Mathematics 2016-09-13 Anatolij Dvurečenskij , Omid Zahiri

In the last decade, interest in projective MV-algebras has grown greatly; see [1], [5] e [6]. In this paper we establish a necessary and sufficient condition for n elements of the free n-generator MV-algebra to generate a projective…

Rings and Algebras · Mathematics 2014-11-17 Francesco Lacava , Donatop Saeli

We study algebraic conditions when a pseudo MV-algebra is an interval in the lexicographic product of an Abelian unital $\ell$-group and an $\ell$-group that is not necessary Abelian. We introduce $(H,u)$-perfect pseudo MV-algebras and…

Rings and Algebras · Mathematics 2014-06-11 Anatolij Dvurečenskij

In a recent work of Matteo Mio on compact quantitative equational theories (here compact means that all its consequences are derivable by means of finite proofs) convex algebras on the carrier set [0,1] whose operations are monotone and…

Logic in Computer Science · Computer Science 2026-03-17 Ana Sokolova , Harald Woracek

We explore the integration of representations from a Lie algebra to its algebraic group in positive characteristic. An integrable module is stable under the twists by group elements. Our aim is to investigate cohomological obstructions for…

Representation Theory · Mathematics 2019-10-30 Dmitriy Rumynin , Matthew Westaway

For a new class of algebras, called $EMV$-algebras, every idempotent element $a$ determines an $MV$-algebra which is important for the structure of the $EMV$-algebra. Therefore, instead of standard homomorphisms of $EMV$-algebras, we…

Commutative Algebra · Mathematics 2017-10-18 Anatolij Dvurečenskij , Omid Zahiri

We introduce a two-sorted algebraic theory whose models are states of MV-algebras and, to within a categorical equivalence that extends Mundici's well-known one, states of Abelian lattice-groups with (strong order) unit. We discuss free…

Logic · Mathematics 2020-08-25 Tomáš Kroupa , Vincenzo Marra

We introduce a new family of meta-Fibonacci sequences $(f(n))_{n\in\mathbb{N}}$, governed by the recurrence relation $$f(n)=af(n-u_{n}-1)+bf(n-u_{n}-2),$$ where $\mathbf{u}=(u_{n})_{n\in \mathbb{N}}$ is a sequence with values $0,1$. Our…

Number Theory · Mathematics 2025-05-14 Piotr Miska , Bartosz Sobolewski , Maciej Ulas