In this paper, extension of the EQ-logic by the ∆connective is introduced. The former is a new kind of many-valued logic which based on EQ-algebra of truth values, i.e. the algebra in which fuzzy equality is the fundamental operation and implication is derived from it. First, we extend the EQ-algebra by the ∆ operation and then introduce axioms and inference rules of EQ∆-logic. We also prove th...

Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...

Let K be a (commutative) locally compact hypergroup with a left Haar measure. Let L1(K) be the hypergroup algebra of K and UCl(K) be the Banach space of bounded left uniformly continuous complex-valued functions on K. In this paper we show, among other things, that the topological (algebraic) center of the Banach algebra UCl(K)* is M(K), the measure algebra of K.

In this paper, we introduce a special algebra called EQ-algebra which has three binary operations (meet, product, fuzzy equality) and a top element. The fuzzy equality is reflexive, symmetric and transitive with respect to the product. EQ-algebra is a natural algebra proposed as an algebra of truth values on the basis of which the fuzzy type theory (a higher-order fuzzy logic) should be develop...

in this paper, we study the arens regularity properties of module actions and we extend some proposition from baker, dales, lau and others into general situations. we establish some relationships between the topological centers of module actions and factorization properties of them with some results in group algebras. in 1951 arens shows that the second dual of banach algebra endowed with the e...

In this paper, we introduce a new algebra called ‘EQ-algebra’, which is an alternative algebra of truth values for formal fuzzy logics. It is specified by replacing implication as the main operation with a fuzzy equality. Namely, EQ-algebra is a semilattice endowed with a binary operation of fuzzy equality and a binary operation of multiplication. Implication is derived from the fuzzy equality ...

in this article we study two different generalizations of von neumann regularity, namely strong topological regularity and weak regularity, in the banach algebra context. we show that both are hereditary properties and under certain assumptions, weak regularity implies strong topological regularity. then we consider strong topological regularity of certain concrete algebras. moreover we obtain ...

Let E be a B-complete (B -complete) locally convex algebra and $ the topological direct sum of countably many copies of the scalar field with a jointly continuous algebra multiplication. It has been shown that E is also B-complete (B -complete) for componentwise multiplication on E . B-and Br-completeness of E , the unitization of E, and also of E x for other multiplications on E ...

For a unital foundation topological *-semigroup S whose representations separate points of S, we show that the spectrum of the Fourier-Stieltjes algebra B(S) is a compact semitopological semigroup. We also calculate B(S) for several examples of S.

In this article we study two different generalizations of von Neumann regularity, namely strong topological regularity and weak regularity, in the Banach algebra context. We show that both are hereditary properties and under certain assumptions, weak regularity implies strong topological regularity. Then we consider strong topological regularity of certain concrete algebras. Moreover we obtain ...