In 2002, Dvurečenskij extended Mundici’s equivalence between unital abelian l -groups and MV-algebras to the non-commutative case. We analyse the relationship to Bosbach’s cone algebras and clarify the rôle of the corresponding pair of L -algebras. As a consequence, it follows that one of the two L -algebra axioms can be dropped.

The effects in a quantum-mechanical system form a partial algebra and a partially ordered set which is the prototypical example of the effect algebras discussed in this paper. The relationships among effect algebras and such structures as orthoalgebras and orthomodular posets are investigated, as are morphisms and group- valued measures (or charges) on effect algebras. It is proved that there is a universal group for every effect algebra, as well as a universal vector space over an arbitrary field.

A biresiduation algebra is a 〈/,\,1〉-subreduct of an integral residuated lattice. These algebras arise as algebraic models of the implicational fragment of the Full Lambek Calculus with weakening. We axiomatize the quasi-variety B of biresiduation algebras using a construction for integral residuated lattices. We define a filter of a biresiduation algebra and show that the lattice of filters is isomorphic to the lattice of B-congruences and that these lattices are distributive. We give a finite basis of terms for generating filters (...) and use this to characterize the subvarieties of B with EDPC and also the discriminator varieties. A variety generated by a finite biresiduation algebra is shown to be a subvariety of B. The lattice of subvarieties of B is investigated; we show that there are precisely three finitely generated covers of the atom. (shrink)

The central result of this paper provides a simple equational basis for the join, IRLLG, of the variety LG of lattice-ordered groups (-groups) and the variety IRL of integral residuated lattices. It follows from known facts in universal algebra that IRLLG=IRL×LG. In the process of deriving our result, we will obtain simple axiomatic bases for other products of classes of residuated structures, including the class IRL×s LG, consisting of all semi-direct products of members of IRL by members of LG. We (...) conclude the paper by presenting a general method for constructing such semi-direct products, including wreath products. (shrink)

This is also where we begin investigating lattices of logics and varieties, rather than particular examples.

We show how effect algebras arise in physics and how they can be used to tie together the observables, states and symmetries employed in the study of physical systems. We introduce and study the unifying notion of an effect-observable-state-symmetry-system (EOSS-system) and give both classical and quantum-mechanical examples of EOSS-systems.