We study the properties and relations of fuzzy pseudo-filters of pseudo-BCK algebras. After we discuss the equivalent conditions of fuzzy normal pseudo-filter of pseudo-BCK algebra (pP), we propose fuzzy implicative pseudo-filter and its relation with fuzzy Boolean filter of (bounded) pseudo-BCK algebras (pP). Then two open problems: “In pseudo-BCK algebra or bounded pseudo-BCK algebra, Is the ...

Several algebraic structures (namely HW, BZMV , Stonean MV and MV∆ algebras) related to many valued logical systems are considered and their equivalence is proved. Four propositional calculi whose Lindenbaum– Tarski algebra corresponds to the four equivalent algebraic structures are axiomatized and their semantical completeness is given.

It is observed that a CL-algebra (Classical Linear Algebra) contains within it a number of MV-algebras (Many-valued Algebras). A necessary and sufficient condition is obtained when a CL-algebra as a whole reduces to an MV-algebra. All the embedded MValgebras are characterised. A special MV-algebra called the Stem of the CL-algebra is studied to some depth. © 1998 Elsevier Science Inc. All right...

An MV-convergence is a convergence on an MV-algebra which renders the operations continuous. We show that such convergences on a given MV-algebra A are exactly the restrictions of the bounded `-convergences on the abelian `-group in which A appears as the unit interval. Thus the theory of `-convergence and Cauchy structures transfers to MV-algebras. We outline the general theory, and then apply...

The aim of the present paper is to define the localisation of MValgebra of an MV-algebra A with respect to a topology F on A. In the last part of the paper it is proved that the maximal MV-algebra of quotients (defined in [6]) and the MV-algebra of fractions relative to an ∧−closed system (defined in [5]) are MV algebra of localisation. The concept of multiplier for distributive lattices was de...

In this paper, we introduce the notion of hyper pseudo B C K - algebras, which is a generalization of pseudo BCK -algebras and hyper BCK -algebras and we investigates some related properties. In follow, we de ne some kinds of hyper pseudo BCK -ideals of a hyper pseudo BCK - algebra and we find the relations among them. Finally, we characterize the hyper pseudo BCK -ideals of type 4 generated by...

There is given a construction of the entropy of a dynamical system on arbitrary MV-algebra M. If M is the MV-algebra of characteristic functions of a σ-algebra (isomorphic to the σ-algebra), then the construction leads to the Kolmogorov Sinaj entropy. If M is the MV-algebra (tribe) of fuzzy sets, then the construction coincides with the Maličký modification of the Kolmogorov Sinaj entropy for f...

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

The concept of an MV-algebra was introduced by Chang [4] as an algebraic basis for many-valued logic. It turned out that MV-algebras are a subclass of a more general class of effect algebras [7, 6]. Namely, MV-algebras are in one-to-one correspondence with lattice ordered effect algebras satisfying the Riesz decomposition property [2], the latter are called MV-effect algebras. In the study of c...

Flaminio and Montagna (2008) enlarged the language of MV-algebras by a unary operation σ, called internal state or a state operator, equationally defined so as to preserve the basic properties of a state in its usual meaning. The resulting class of MV-algebras is called state MV-algebras. Jenča (2007) and Vetterlein (2008), using different approaches, represented MV-algebras through the quotien...