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

Abstract An E -fuzzy group is a lattice-valued algebraic structure, defined on a crisp algebra which is not necessarily a group. The crisp equality is replaced by a particular fuzzy one denoted by E . Classical group-like properties are formulated as appropriate fuzzy identities special lattice theoretic formulas. We prove basic features of E -fuzzy groups: properties of the unit and inverses, ...

We introduce the tense LMn-algebras and the tense MV algebras as algebraic structures for some tense many-valued logics. A representation theorem for tense LMn-algebras is proved and the polynomially equivalence between tense LM3-algebras (resp. tense LM4-algebras) and tense MV3-algebras (resp. tense MV4-algebras) is established. We study the pairs of dually-conjugated operations on MV -algebra...

Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. In this paper we define and study the commutative pseudo equality algebras. We give a characterization of commutative pseudo equality algebras and we prove that an invariant pseudo equa...

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

Let  be a local Cohen-Macaulay ring with infinite residue field,  an Cohen - Macaulay module and  an ideal of  Consider  and , respectively, the Rees Algebra and associated graded ring of , and denote by  the analytic spread of  Burch’s inequality says that  and equality holds if  is Cohen-Macaulay. Thus, in that case one can compute the depth of associated graded ring of  as  In this paper we ...

Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. The aim of this paper is to investigate the internal states and the state-morphisms on pseudo equality algebras. We define and study new classes of pseudo equality algebras, such as com...

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