相关论文: On Tense MV-algebras
Let $G$ be a finite group. There is a standard theorem on the classification of $G$-equivariant finite dimensional simple commutative, associative, and Lie algebras (i.e., simple algebras of these types in the category of representations of…
A semi-Peano algebra is an algebra for which each operation is injective, and the images of the operations are pairwise disjoint. The most straightforward non-trivial kind of finitely presented semi-Peano algebra are algebras with a single…
We introduce a notion of a (V,T)-module over a vertex algebra V for an arbitrary positive integer T, which is a generalization of a twisted V-module. Under some conditions on V, we construct an associative algebra A^{T}_{m}(V) for…
A general notion of a quasi-finite algebra is introduced as an algebra graded by the set of all integers equipped with topologies on the homogeneous subspaces satisfying certain properties. An analogue of the regular bimodule is introduced…
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…
MV-monoids are algebras $\langle A,\vee,\wedge, \oplus,\odot, 0,1\rangle$ where $\langle A, \vee, \wedge, 0, 1\rangle$ is a bounded distributive lattice, both $\langle A, \oplus, 0 \rangle$ and $\langle A, \odot, 1\rangle$ are commutative…
Let $\mathcal{M}\subseteq\mathcal{B}\left( \mathcal{H}\right) $ be a countable decomposable properly infinite von Neumann algebra with a faithful normal semifinite tracial weight $\tau$ where $\mathcal{B}\left( \mathcal{H}\right) $ is the…
By a De Morgan algebra is meant a bounded poset equipped with an antitone involution considered as negation. Such an algebra can be considered as an algebraic axiomatization of a propositional logic satisfying the double negation law. Our…
Our main issue was to understand the connection between \L ukasiewicz logic with product and the Pierce-Birkhoff conjecture, and to express it in a mathematical way. To do this we define the class of \textit{f}MV-algebras, which are…
Let $M$ be a finite von Neumann algebra. In the first part, we give asymptotic results about $M$-stable sequences of weak*-continuous mappings which are related with operators belonging to $M$. In the second part, we extend, by a shorter…
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…
In this article we review the main results of the earlier papers [I. Penkov, K. Styrkas, Tensor representations of infinite-dimensional root-reductive Lie algebras, in Developments and Trends in Infinite-Dimensional Lie Theory, Progress in…
In this document we consider the prime and maximal spectra of an MV-algebra with certain natural operations. Several new MV-algebras are constructed in this fashion.
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. This paper studies FA-presentable algebras. First,…
The present paper contains two interrelated developments. First, are proposed new generalized Verma modules. They are called k-Verma modules, k\in N, and coincide with the usual Verma modules for k=1. As a vector space a k-Verma module is…
As a development of [2] and [3], we construct a "VN-bialgebra" in Vect_k for each k-linear split-semigroupal functor from a suitable monoidal category C to Vect_k. The main aim here is to avoid the customary compactness assumptions on…
We give a new construction of functors from the category of modules for the associative algebras $A_n(V)$ and $A_g(V)$ associated with a vertex operator algebra $V$, defined by Dong, Li and Mason, to the category of admissible $V$-modules…
This is the first part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. This theory generalizes the tensor category theory for…
Braided m-Lie algebras induced by multiplication are introduced, which generalize Lie algebras, Lie color algebras and quantum Lie algebras. The necessary and sufficient conditions for the braided m-Lie algebras to be strict Jacobi braided…
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…