A Hilbert C∗-module is a generalisation of a Hilbert space for which the inner product takes its values in a C∗-algebra instead of the complex numbers. We use the bracket product to construct some Hilbert C∗-modules over a group C∗-algebra which is generated by the group of translations associated with a wavelet. We shall investigate bracket products and their Fourier transform in the space of ...

In this note we show that an unbounded regular operator t on Hilbert C∗modules over an arbitrary C∗ algebra A has polar decomposition if and only if the closures of the ranges of t and |t| are orthogonally complemented, if and only if the operators t and t∗ have unbounded regular generalized inverses. For a given C∗-algebra A any densely defined A-linear closed operator t between Hilbert C∗-mod...

in this paper rst we dene the notions of positive implicativehyper mv -ideals of types 1,2,3 and 4 in hyper mv -algebras and we investigatethe relationship between of them . then by some examples we show that thesenotions are not equivalent. finally we give some relations between these notionsand the notions of (weak) hyper mv -ideals and (weak) hyper mv -deductivesystems of hyper mv -algebras.

In this paper we consider C0-group of unitary operators on a Hilbert C*-module E. In particular we show that if A?L(E) be a C*-algebra including K(E) and ?t a C0-group of *-automorphisms on A, such that there is x?E with =1 and ?t (?x,x) = ?x,x t?R, then there is a C0-group ut of unitaries in L(E) such that ?t(a) = ut a ut*.

Imai and Iséki [1] introduced the concept of BCK-algebra as a generalization of notions of set difference operation and propositional calculus. The notion of pseudo-BCK algebra was introduced by Georgescu and Iorgulescu [2] as generalization of BCK-algebras not assuming commutativity. Hájek [3] introduced the concept of BL-algebras as the general semantics of basic fuzzy logic (BL-logic). Iorgu...

According to Frege’s principle the denotation of a sentence coincides with its truthvalue. The principle is investigated within the context of abstract algebraic logic, and it is shown that taken together with the deduction theorem it characterizes intuitionistic logic in a certain strong sense. A 2nd-order matrix is an algebra together with an algebraic closed set system on its universe. A ded...

We study the complexification of real Hilbert C∗-modules over real C∗-algebras. We give an example of a Hilbert Ac-module that is not the complexification of any Hilbert A-module, where A is a real C∗-algebra.

A pair of deductive systems (S,S’) is Leibniz-linked when S’ is an extension of S and on every algebra there is a map sending each filter of S to a filter of S’ with the same Leibniz congruence. We study this generalization to arbitrary deductive systems of the notion of the strong version of a protoalgebraic deductive system, studied in earlier papers, and of some results recently found for pa...