Related papers: Interval MV-algebras and generalizations
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.…
Based on the Chernoff approximation, we provide a general approximation result for convex monotone semigroups which are continuous w.r.t. the mixed topology on suitable spaces of continuous functions. Starting with a family $(I(t))_{t\geq…
The main aim of this paper is to present a direct proof of Di Nola's representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra on rational numbers. The results are based on a direct proof…
We generalize the notion of kinematical Lie algebra introduced in physics for the classification of the various possible relativity algebras an isotropic spacetime can accommodate. We first give an elementary proof of the fact that such a…
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…
We prove that the algebra $\mI_n:=K\langle x_1, ..., x_n, \frac{\der}{\der x_1},...,\frac{\der}{\der x_n}, \int_1, ..., \int_n\rangle $ of integro-differential operators on a polynomial algebra is a prime, central, catenary, self-dual,…
Generalizations of the q-Onsager algebra are introduced and studied. In one of the simplest case and q=1, the algebra reduces to the one proposed by Uglov-Ivanov. In the general case and $q\neq 1$, an explicit algebra homomorphism…
The Minkowski question mark function is a rich object which can be explored from the perspective of dynamical systems, complex dynamics, metric number theory, multifractal analysis, transfer operators, integral transforms, and as a function…
Let $M_q(H_{\mathbb{R}})$ be the $q$-Gaussian von Neumann algebra associated with a separable infinite dimensional real Hilbert space $H_{\mathbb{R}}$ where $-1 < q < 1$. We show that $M_q(H_{\mathbb{R}}) \not \simeq M_0(H_{\mathbb{R}})$…
We introduce a class of monotone $\sigma$-complete effect algebras, called representable, which are $\sigma$-homomorphic images of a class of monotone $\sigma$-complete effect algebras of functions taking values in the interval $[0,1]$ and…
We define a class of inverse monoids having the property that their lattices of principal ideals naturally form an MV-algebra. We say that an arbitrary MV-algebra can be co-ordinatized if it is isomorphic to one constructed in this way from…
We prove a number of results on integrability and extendability of Lie algebras of unbounded skew-symmetric operators with common dense domain in Hilbert space. By integrability for a Lie algebra $\mathfrak{g}$, we mean that there is an…
The basic concepts underlying our analysis of {\it W-algebras} as extended symmetries of integrable systems are summarized. The construction starts from the second hamiltonian structure of ``Generalized Drinfel'd-Sokolov'' hierarchies, and…
We prove that the algebra $\cal{A}$ of chord diagrams, the dual to the associated graded algebra of Vassiliev knot invariants, is isomorphic to the universal enveloping algebra of a Casimir Lie algebra in a certain tensor category (the PROP…
Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantale-valued functions relative to ternary relations. The resulting notion of…
A simple axiomatic characterization of the noncommutative Ito algebra is given and a pseudo-Euclidean fundamental representation for such algebra is described. It is proved that every quotient Ito algebra has a faithful representation in a…
We give a complete description of order isomorphisms between operator intervals in general von Neumann algebras. For the description, we use Jordan $^*$-isomorphisms and locally measurable operators. Our results generalize several works by…
In this paper, we investigate the many-valued version of coalgebraic modal logic through predicate lifting approach. Coalgebras, understood as generic transition systems, can serve as semantic structures for various kinds of modal logics. A…
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…
Continuous symmetries generated with observables of a quantum theory in the Minkowski spacetime are discussed. An example of an originated in this way algebra of observables is the algebra of observables of the canonical quantum theory,…