обобщенные mv-алгебры

[az118]

Пусть A = < V, 0, + > - коммутативный моноид с законом поглощения:

x+y = y+x, (x+y)+z = x+(y+z), x+x = x+0 = x

такой, что существует обратимый оператор φ: V → V, индуцирующий
обобщенную mv-алгебру A(φ) = < V, 0, +, φ >:

x+φ0 = φ0, φ-1(φx+y)+y = φ-1(φy+x)+x.

Определим φ-дуальную к + операцию •(φ) :
x •(φ) y = φ-1(φx+φy) и константу 1 = φ-10

Comments

[az118]

не за что.