in this paper, applying the concept of generalized a-valued norm on a right h  - module and also the notion of ϕ-homomorphism of finsler modules over c  -algebras we rst improve the denition of the finsler module over h  -algebra and then dene ϕ-morphism of finsler modules over h  -algebras. finally we present some results concerning these new ones.

This paper will show a new approach to the solution of SAT-problems. It has been based on the isomorphism between the Boolean algebras of finite sets and the Boolean algebras of logic functions depending on a finite number of binary variables. Ternary vectors are the main data structure representing sets of Boolean vectors. The respective set operations (mainly the complement and the intersecti...

‎Let $Omega$ be a class of unital‎ ‎$C^*$-algebras‎. ‎We introduce the notion of a local tracial $Omega$-algebra‎. ‎Let $A$ be an $alpha$-simple unital local tracial $Omega$-algebra‎. ‎Suppose that $alpha:Gto $Aut($A$) is an action of a finite group $G$ on $A$‎ ‎which has a certain non-simple tracial Rokhlin property‎. ‎Then the crossed product algebra‎ ‎$C^*(G,A,alpha)$ is a unital local traci...

in  cite{gl}, b. gerla and i. leuc{s}tean introduced the notion of similarity on mv-algebra. a similarity mv-algebra is an mv-algebra endowed with a binary operation $s$ that verifies certain additional properties. also, chirtec{s} in cite{c}, study the notion of similarity on l ukasiewicz-moisil algebras. in particular, strong similarity l ukasiewicz-moisil algebras were defined. in this paper...

We enumerate all one class genera of definite ternary quadratic forms over number fields. For this, we construct all Gorenstein orders of type number one in definite quaternion algebras over number fields. Finally, we list all definite quaternion orders of ideal class number one.

‎let $omega$ be a class of unital‎ ‎$c^*$-algebras‎. ‎we introduce the notion of a local tracial $omega$-algebra‎. ‎let $a$ be an $alpha$-simple unital local tracial $omega$-algebra‎. ‎suppose that $alpha:gto $aut($a$) is an action of a finite group $g$ on $a$‎ ‎which has a certain non-simple tracial rokhlin property‎. ‎then the crossed product algebra‎ ‎$c^*(g,a,alpha)$ is a unital local traci...

We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare’s conditional [1985], which is a ternary connective comparable to if-then-else. Starting from McCarthy’s notion of sequential evaluation [1963] we discuss a number of valuation congruences and we introduce Hoare-McCarthy algebras as the structures that characterize these congruences.

‎In this paper‎, ‎using fixed point method‎, ‎we prove the generalized Hyers-Ulam stability of‎ ‎random homomorphisms in random $C^*$-algebras and random Lie $C^*$-algebras‎ ‎and of derivations on Non-Archimedean random C$^*$-algebras and Non-Archimedean random Lie C$^*$-algebras for‎ ‎the following $m$-variable additive functional equation:‎ ‎$$sum_{i=1}^m f(x_i)=frac{1}{2m}left[sum_{i=1}^mfle...

We first show that a bounded linear operator $ T $ on a real Banach space $ E $ is quasicompact (Riesz, respectively) if and only if $T': E_{mathbb{C}}longrightarrow E_{mathbb{C}}$ is quasicompact  (Riesz, respectively), where the complex Banach space $E_{mathbb{C}}$ is a suitable complexification of $E$ and $T'$ is the complex linear operator on $E_{mathbb{C}}$ associated with $T$. Next, we pr...