Related papers: State BL-algebras
A lexicographic pseudo MV-algebra is an algebra that is isomorphic to an interval in the lexicographic product of a linear unital group with an arbitrary $\ell$-group. We present conditions when a pseudo MV-algebra is lexicographic. We show…
We define the braided differential algebras which can be interpreted as quantization of the differential operator algebra defined on some algebraic varieties supplied with the action of the group GL(m). The algebra is generated by right…
This paper is investigative work into the properties of a family of graded algebras recently defined by Varagnolo and Vasserot, which we call VV algebras. We compare categories of modules over KLR algebras with categories of modules over VV…
Bell-network states constitute a class of diffeomorphism-invariant and entangled states of the geometry within loop quantum gravity (LQG) that satisfy an area-law for the entanglement entropy in the limit of large spins. The fluctuations of…
In this paper, we prove the existence of doubly connected V-states for the generalized SQG equations with $\alpha\in ]0,1[.$ They can be described by countable branches bifurcating from the annulus at some explicit "eigenvalues" related to…
The dynamics of fermionic many-body systems is investigated in the framework of Boltzmann-Langevin (BL) stochastic one-body approaches. Within the recently introduced BLOB model, we examine the interplay between mean-field effects and…
The theorem by Lewandowski et al. stating uniqueness of a diffeomorphism invariant state on an algebra of quantum observables for background independent theories of connections is based on some technical assumptions imposed on the algebra…
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…
We construct a Batalin-Vilkovisky (BV) algebra on moduli spaces of Riemann surfaces. This algebra is background independent in that it makes no reference to a state space of a conformal field theory. Conformal theories define a homomorphism…
We introduce the concept of fuzzy sheaf as a natural generalisation of a sheaf over a topological space in the context of fuzzy topologies. Then we prove a representation for a class of MV-algebras in which the representing object is an…
In \cite{DvZa3}, we started the investigation of pseudo MV-algebras with square roots. In the present paper, the main aim is to continue to study the structure of pseudo MV-algebras with square roots focusing on their new characterizations.…
Fuzzy Epistemic Logic is an important formalism for approximate reasoning. It extends the well known basic propositional logic BL, introduced by H\'ajek, by offering the ability to reason about possibility and necessity of fuzzy…
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.
We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic…
In \cite{DvZa3}, we started the investigation of pseudo MV-algebras with square roots. In the present paper, we continue to study the structure of pseudo MV-algebras with square roots focusing on their new characterizations. The paper is…
In this paper we review some of the main achievements of the semiring-theoretic approach to MV-algebras initiated and pursued mainly by the present authors and their collaborators. The survey focuses mainly on the connections between…
If V and W are varieties of algebras such that any V-algebra A has a reduct U(A) in W, there is a forgetful functor U: V->W that acts by A |-> U(A) on objects, and identically on homomorphisms. This functor U always has a left adjoint F:…
In several recent papers on entanglement in relativistic quantum systems and relativistic Bell's inequalities, relativistic Bell-type two-particle states have been constructed in analogy to non-relativistic states. These constructions do…
We determine the profinite completions of MV-algebras, and obtain a description that generalizes the well known profinite completions of Boolean algebras as the power sets of their Stone spaces. We also use the description found to…
We introduce a formal $\hbar$-differential operator $\Delta$ that generates higher Koszul brackets on the algebra of (pseudo)differential forms on a $P_{\infty}$-manifold. Such an operator was first mentioned by Khudaverdian and Voronov in…