Deductive systems of a cone algebra — II: Isomorphism theorem (Q3548563)

From MaRDI portal





scientific article; zbMATH DE number 5382555
Language Label Description Also known as
default for all languages
No label defined
    English
    Deductive systems of a cone algebra — II: Isomorphism theorem
    scientific article; zbMATH DE number 5382555

      Statements

      Deductive systems of a cone algebra — II: Isomorphism theorem (English)
      0 references
      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

      Identifiers