Finitely generated varieties of distributive effect algebras (Q2377306)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finitely generated varieties of distributive effect algebras |
scientific article |
Statements
Finitely generated varieties of distributive effect algebras (English)
0 references
28 June 2013
0 references
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.
0 references
lattice effect algebras
0 references
MV-algebra
0 references
finitely generated variety
0 references
free algebra
0 references