For a Banach algebra $fA$, we introduce ~$c.c(fA)$, the set of all $phiin fA^*$ such that $theta_phi:fAto  fA^*$ is a completely continuous operator, where $theta_phi$ is defined by $theta_phi(a)=acdotphi$~~ for all $ain fA$. We call $fA$, a completely continuous Banach algebra if $c.c(fA)=fA^*$. We give some examples of completely continuous Banach algebras and a sufficient condition for an o...

In this paper we look at the K-theory of a specific C*-algebra closely related to the irrational rotation algebra. Also it is shown that any automorphism of a C*-algebra A induces group automorphisms of K_{1}(A) amd K_{0}(A) in an obvious way. An interesting problem for any C*-algebra A is to find out whether, given an automorphism of K_{0}(A) and an automorphism of K_{1}(A), we can lift them t...

a heyting algebra is a distributive lattice with implication and a dual $bck$-algebra is an algebraic system having as models logical systems equipped with implication. the aim of this paper is to investigate the relation of heyting algebras between dual $bck$-algebras. we define notions of $i$-invariant and $m$-invariant on dual $bck$-semilattices and prove that a heyting semilattice is equiva...

in this paper we continue development of formal theory of a special class offuzzy logics, called eq-logics. unlike fuzzy logics being extensions of themtl-logic in which the basic connective is implication, the basic connective ineq-logics is equivalence. therefore, a new algebra of truth values calledeq-algebra was developed. this is a lower semilattice with top element endowed with two binary...

It is shown that every  almost linear bijection $h : Arightarrow B$ of a unital $C^*$-algebra $A$ onto a unital$C^*$-algebra $B$ is a $C^*$-algebra isomorphism when $h(3^n u y) = h(3^n u) h(y)$ for allunitaries  $u in A$, all $y in A$, and all $nin mathbb Z$, andthat almost linear continuous bijection $h : A rightarrow B$ of aunital $C^*$-algebra $A$ of real rank zero onto a unital$C^*$-algebra...

We investigate the development of theories of types and computability via realizability. In the rst part of the thesis, we suggest a general notion of realizability, based on weakly closed partial cartesian categories, which generalizes the usual notion of realizability over a partial combinatory algebra. We show how to construct categories of so-called assemblies and modest sets over any weakl...

In this paper, we give three functors $mathfrak{P}$, $[cdot]_K$ and $mathfrak{F}$ on the category of C$^ast$-algebras. The functor $mathfrak{P}$ assigns to each C$^ast$-algebra $mathcal{A}$ a pre-C$^ast$-algebra $mathfrak{P}(mathcal{A})$ with completion $[mathcal{A}]_K$. The functor $[cdot]_K$ assigns to each C$^ast$-algebra $mathcal{A}$ the Cauchy extension $[mathcal{A}]_K$ of $mathcal{A}$ by ...

Let $A$ be a Banach algebra and $E$ be a Banach $A$-bimodule then $S = A oplus E$, the $l^1$-direct sum of $A$ and $E$ becomes a module extension Banach algebra when equipped with the algebras product $(a,x).(a^prime,x^prime)= (aa^prime, a.x^prime+ x.a^prime)$. In this paper, we investigate $triangle$-amenability for these Banach algebras and we show that for discrete inverse semigroup $S$ with...

in this paper, the main results are:a study of the finitely generated mv-algebras of continuous functions from the n-th power of the unit real interval i to i;a study of hopfian mv-algebras; anda category-theoretic study of the map sending an mv-algebra as above to the range of its generators (up to a suitable form of homeomorphism).

the concept of soft sets, introduced by molodtsov [20] is a mathematicaltool for dealing with uncertainties, that is free from the difficultiesthat have troubled the traditional theoretical approaches. in this paper, weapply the notion of the soft sets of molodtsov to the theory of hilbert algebras.the notion of soft hilbert (abysmal and deductive) algebras, soft subalgebras,soft abysms and sof...