Finitely generated varieties of distributive effect algebras

From MaRDI portal
Publication:2377306





Effect algebras are partially defined algebras, \(E=(E;+,', 0,1)\), which model events of quantum mechanical measurements, and as prototypical examples they are intervals in the positive cone of po-groups. Their basic operation, addition \(+\), is commutative, associative, for every element \(x\) there is a unique element \(x'\) such that \(x+x'=1\), and, finally, if \(x+1\) is defined then \(x=0\). In the paper under review, the authors study the variety of distributive effect algebras; in a natural way, it is possible to study effect algebras as total algebras. The paper studies (i) finitely generated subvarieties, in particular the variety of modular effect basic algebras, and (ii) free algebras in finitely generated subvarieties.











This page was built for publication: Finitely generated varieties of distributive effect algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377306)