In this paper, we generalize some results from Hilbert C*-modules to pro-C*-algebra case. We also give a new proof of the known result that l2(A) is aHilbert module over a pro-C*-algebra A.

Let $A$ be a $C^*$-algebra and $E$ be a left Hilbert $A$-module. In this paper we define a product on $E$ that making it into a Banach algebra and show that under the certain conditions $E$  is Arens regular. We also study the relationship between derivations of $A$ and $E$.

A deductive system S (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T , i.e., the binary relation between formulas { 〈α, β〉 : T, α `S β and T, β `S α }, is a congruence relation on the formula algebra. The multiterm deduction-detachment theorem is a natural generalization of the deduction theorem of the classical and intuitionistic proposi...

The aim of this paper is to introduce the notion of anti fuzzy (prime) deductive system in BL-algebra and to investigate their properties. It is shown that the set of all deductive systems (with the empty set) of a BL-algebra X is equipotent to a quotient of the set of all anti fuzzy deductive systems of X. The anti fuzzy prime deductive system theorem of BL-algebras is also proved. Anti Fuzzy ...

In ‎this ‎paper, ‎we ‎study ‎the ‎relation ‎between ‎the ‎soft ‎sets ‎and ‎soft ‎Lie ‎algebras ‎with ‎the ‎lattice theory. ‎We ‎introduce ‎the ‎concepts ‎of ‎the ‎lattice ‎of ‎soft ‎sets, ‎full ‎soft ‎sets ‎and ‎soft ‎Lie ‎algebras ‎and next, we ‎verify ‎some ‎properties ‎of ‎them. We ‎prove ‎that ‎the ‎lattice ‎of ‎the ‎soft ‎sets ‎on ‎a fixed parameter set is isomorphic to the power set of a ...

In this paper, first, we introduce the new concept of 2-inner product on Banach modules over a $C^*$-algebra. Next,  we present the concept of 2-linear operators over a $C^*$-algebra. Our result improve  the main result of the paper  Z. Lewandowska.  In the final of this paper, we define the notions 2-adjointable mappings between 2-pre Hilbert C*-modules and prove supperstability of them ...

Controlled frames have been introduced to improve the numerical efficiency of iterative algorithms for inverting the frame operator on abstract Hilbert spaces. Fusion frames and g-frames generalize frames. Hilbert C*-modules form a wide category between Hilbert spaces and Banach spaces. Hilbert C*-modules are generalizations of Hilbert spaces by allowing the inner product to take values in a C*...

The completion A[τ ] of a locally convex ∗-algebra A[τ ] with not jointly continuous multiplication is a ∗-vector space with partial multiplication xy defined only for x or y ∈ A0, and it is called a topological quasi ∗-algebra. In this paper two classes of topological quasi ∗-algebras called strict CQ-algebras and HCQ-algebras are studied. Roughly speaking, a strict CQ-algebra (resp. HCQ-algeb...