Deductive systems of a cone algebra — I: Semi-ℓg-cones

Mathematica Slovaca

N. Subrahmanyam¹ 

关键词: cone algebra;    semi-â„“g-cone;    pseudo MV-algebra;    deductive system;    â„“-group;    ideal;   

DOI  :  10.2478/s12175-008-0100-5

学科分类：数学（综合）

来源: Slovenska Akademia Vied * Matematicky Ustav / Slovak Academy of Sciences, Mathematical Institute

【 摘 要 】

A semi-ℓg-cone is an algebra (C;*,:,·) of type (2, 2, 2) satisfying the equations (a*a)*b = b = b: (a: a); a*(b: c) = (a*b): c; a: (b*a) = (b: a)*b and (ab) *c = b* (a * c). An ℓ-group cone is a semi-ℓg-cone and a bounded semi-ℓg-cone is term equivalent to a pseudo MV-algebra. Also, a subset A of a semi-_g-cone C is an ideal of C if and only if it is a deductive system of its reduct (C;*,:).

【 授权许可】

Unknown