i–Algebras, i–Frames and Heyting Algebras
Walter Felscher · 2000
T his follows from p m(->->(xAy)) = - - ( p m(x )n p m(y)) = p (p m(x )n p m(y)) = /, , Pm(x ) n /, , p m(y) = Pm(_,&s;ix) n Pra("i“’y) = p m(“&s;_&s;xA “&s;_&s;y) by ( n ) and from Pm(~1_,(xVy)) = — (Pm(x ) uPm(y)) = - ( - p m(x ) n - p m(y)) = - ( p m(“’x ) n p ra(-&s;y) = p m(-i(“&s;xA-iy)) by (3). The explicit L M -derivations I presented as 4 .(1 ) - (4).