Deductive systems of a cone algebra — II: Isomorphism theorem (Q3548563)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deductive systems of a cone algebra — II: Isomorphism theorem |
scientific article |
Statements
Deductive systems of a cone algebra — II: Isomorphism theorem (English)
0 references
16 December 2008
0 references
cone algebra
0 references
semi-\(\ell \)g-cone
0 references
pseudo MV-algebra
0 references
deductive system
0 references
lattice-ordered group
0 references
