Deductive systems of a cone algebra — II: Isomorphism theorem (Q3548563): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.2478/s12175-008-0101-4 / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: Publication / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2478/s12175-008-0101-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2075733539 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concerning cone algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residuation groupoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pseudo MV-algebras are intervals in ℓ-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Prime spectra of non-commutative generalizations of MV-algebras. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bricks and pseudo MV-algebras are equivalent / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deductive systems of a cone algebra — I: Semi-ℓg-cones / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.2478/S12175-008-0101-4 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:35, 21 December 2024
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