Related papers: Effect algebras with state operator

We present a mathematical framework for quantum mechanics in which the basic entities and operations have physical significance. In this framework the primitive concepts are states and effects and the resulting mathematical structure is a…

This article begins with a study of convex effect-state spaces. We point out that such spaces are equivalent to interval effect algebras that generate an ordered linear space and possess an order-determining set of states. We then discuss…

We describe $\sigma$-additive states on effect-tribes by integrals. Effect-tribes are monotone $\sigma$-complete effect algebras of functions where operations are defined by points. Then we show that every state on an effect algebra is an…

We discuss the relationships between effect algebras with the Riesz Decomposition Property and partially ordered groups with interpolation. We show that any $\sigma$-orthocomplete atomic effect algebra with the Riesz Decomposition Property…

Recently Flaminio and Montagna, \cite{FlMo}, extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras. Having it, we generalize the Loomis--Sikorski…

The aim of this paper is to show that there can be either only one or uncountably many contexts in any spectral effect algebra, answering a question posed in [S. Gudder, Convex and Sequential Effect Algebras, (2018), arXiv:1802.01265]. We…

We study various forms of amalgamation for Boolean algebras with operations. We will also have the occasion to weaken the Boolean structure dealing with MV and BL algebras with operators.

In the paper, we define the notion of a state BCK-algebra and a state-morphism BCK-algebra extending the language of BCK-algebras by adding a unary operator which models probabilistic reasoning. We present a relation between state operators…

We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism MV-algebras (SMMV-algebras) and describe single generators…

We study the properties of shifted vertex operator algebras, which are vertex algebras derived from a given theory by shifting the conformal vector. In this way, we are able to exhibit large numbers of vertex operator algebras which are…

This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators. These relations, including various…

We define a state as a $[0,1]$-valued, finitely additive function attaining the value $1$ on an EMV-algebra, which is an algebraic structure close to MV-algebras, where the top element is not assumed. We show that states always exist, the…

We first show that the convex effect algebras (CEA) approach to quantum mechanics is more general than the general probabilistic theories approach. We then restrict our attention to finite-dimension CEA's. After an introductory Section~1,…

Examples of operator algebras with involution include the operator $*$-algebras occurring in noncommutative differential geometry studied recently by Mesland, Kaad, Lesch, and others, several classical function algebras, triangular matrix…

The maximality property was introduced in in orthomodular posets as a common generalization of orthomodular lattices and orthocomplete orthomodular posets. We show that various conditions used in the theory of effect algebras are stronger…

This paper studies convex sets categorically, namely as algebras of a distribution monad. It is shown that convex sets occur in two dual adjunctions, namely one with preframes via the Boolean truth values {0,1} as dualising object, and one…

We will define two ways to assign cohomology groups to effect algebras, which occur in the algebraic study of quantum logic. The first way is based on Connes' cyclic cohomology. The resulting cohomology groups are related to the state space…

Remarks are given to the structure of physical states in 2D gravity coupled to $C\leq 1$ matter. The operator algebra of the discrete state operators is calculated for the theory with non-vanishing cosmological constant.

Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory,…

Quantum information science is a source of task-related axioms whose consequences can be explored in general settings encompassing quantum mechanics, classical theory, and more. Quantum states are compendia of probabilities for the outcomes…