Related papers: Classification of states on certain orthomodular s…
Starting from involutive BE algebras, we redefine the orthomodular algebras, by introducing the notion of implicative-orthomodular algebras. We investigate properties of implicative-orthomodular algebras, and give characterizations of these…
Based on implicative involutive BE algebras, we redefine the orthomodular lattices, by introducing the notion of implicative-orthomodular lattices, and we study their properties. We characterize these algebras, proving that the…
In this paper we develop an algebraic framework in which several classes of two-valued states over orthomodular lattices may be equationally characterized. The class of two-valued states and the subclass of Jauch-Piron two-valued states are…
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…
In this paper we develop an algebraic framework that allows us to extend families of two-valued states on orthomodular lattices to Baer $^*$-semigroups. We apply this general approach to study the full class of two-valued states and the…
Effect algebras are a generalization of many structures which arise in quantum physics and in mathematical economics. We show that, in every modular Archimedean atomic lattice effect algebra $E$ that is not an orthomodular lattice there…
We obtain an orthogonality space by endowing an implicative-ortholattice with a suitable orthogonality relation; for such spaces, we also investigate the particular case of implicative-orthomodular lattices. Moreover, we define the…
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 show that the propositional system of a many-box model is always a set-representable effect algebra. In particular cases of 2-box and 1-box models it is an orthomodular poset and an orthomodular lattice respectively. We discuss the…
In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several structures of prominent importance for mathematical logic, e.g.…
We investigate the algebraic structure of a recently proposed integrable $t-J$ model with impurities. Three forms of the Bethe ansatz equations are presented corresponding to the three choices for the grading. We prove that the Bethe ansatz…
We provide a classification of entangled states that uses new discrete entanglement invariants. The invariants are defined by algebraic properties of linear maps associated with the states. We prove a theorem on a correspondence between the…
In this paper we characterize finite effect algebras which have a state. We construct two matrices $A$ and $B$ assigned to a finite effect algebra $E$ and show that if $E$ has a state then rank$A=$ rank$B$.
We prove completeness, interpolation, decidability and an omitting types theorem for certain multi dimensional modal logics where the states are not abstract entities but have an inner structure. The states will be sequences. Our approach…
As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and where the join of orthogonal elements exists and the…
We propose a class of pure states of two-dimensional lattice systems realizing topological order associated with unitary rational vertex operator algebras. We show that the states are well-defined in the thermodynamic limit and have…
We characterize the biorthogonal ensembles that are both a multiple orthogonal polynomial ensemble and a polynomial ensemble of derivative type (also called a P\'olya ensemble). We focus on the notions of multiplicative and additive…
Bosbach states represent a way of probabilisticly evaluating the formulas from various (commutative or non-commutative) many-valued logics. They are defined on the algebras corresponding to these logics with values in $[0,1]$. Starting from…
States of MV-algebras have been the object of intensive study and attempts of generalizations. The aim of this contribution is to provide a preliminary investigation for states of prelinear semihoops and hyperstates of algebras in the…
We introduce the notion of distributivity for implicative-orthomodular lattices, proving an analogue result of the Foulis-Holland theorem. Based on this result, we characterize the distributive implicative-orthomodular lattices. Moreover,…