The universal group of a Heyting effect algebra (Q861571)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The universal group of a Heyting effect algebra |
scientific article |
Statements
The universal group of a Heyting effect algebra (English)
0 references
29 January 2007
0 references
Heyting algebra
0 references
effect algebra
0 references
lattice order
0 references
MV-algebra
0 references
pseudocomplementation
0 references
partially ordered abelian group
0 references
\(\ell\)-group
0 references
universal group
0 references
central comparability
0 references
central Rickart property
0 references
