In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...

The class of unique factorization semilattices (UFSs) contains important examples of semilattices such as free semilattices and the semilattices of idempotents of free inverse monoids. Their structural properties allow an efficient study, among other things, of their principal ideals. A general construction of UFSs from arbitrary posets is presented and some categorical properties are derived. ...

In this paper, we introduce a notion of generalized states from an EQ-algebra E1 to another EQ-algebra E2, which is a generalization of internal states (or state operators) on an EQ-algebra E. Also we give a type of special generalized state from an EQ-algebra E1 to E1, called generalized internal states (or GI-state). Then we give some examples and basic properties of generalized (internal) st...

A C *-algebra A is called an ideal C * -algebra (or equally a dual algebra) if it is an ideal in its bidual A**. M.C.F. Berglund proved that subalgebras and quotients of ideal C*-algebras are also ideal C*-algebras, that a commutative C *-algebra A is an ideal C *-algebra if and only if it is isomorphicto C (Q) for some discrete space ?. We investigate ideal J*-algebras and show that the a...

let $a$ be a banach algebra and $x$ be a banach $a$-bimodule. then ${mathcal{s}}=a oplus x$, the $l^1$-direct sum of $a$ and $x$ becomes a module extension banach algebra when equipped with the algebra product $(a,x).(a',x')=(aa',ax'+xa').$ in this paper, we investigate biflatness and biprojectivity for these banach algebras. we also discuss on automatic continuity of derivations on ${mathcal{s...

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...

In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...

in this paper we characterize hyper mv -algebras in which 0 or1 are scalar elements . we prove that any nite hyper mv -algebra that 0is a scaler element in it, is an mv -algebra. finally we characterize hypermv -algebras of order 2 and order 3.

In this article, we generalize the concept of the Lie algebra of vector fields to the set of smooth sections of a T-bundle which is by definition a canonical generalization of the concept of a tangent bundle. We define a Lie bracket multiplication on this set so that it becomes a Lie algebra. In the particular case of tangent bundles this Lie algebra coincides with the Lie algebra of vector fie...

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.