Finitely axiomatizable varieties of BCK-algebras.
A concrete category is (algebraically) universal if any category of algebras has a full embedding into , and is almost universal if there is a class of -objects such that all non-constant homomorphisms between them form a universal category. The main result of this paper fully characterizes the finitely generated varieties of -lattices which are almost universal.
In an -group with an appropriate operator set it is shown that the -value set can be embedded in the value set . This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If has a.c.c. and is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets and and the corresponding -value sets and . If is a unital -ring, then each unital -module over is an -module...
In this paper, we consider self-mappings defined on a metric space endowed with a finite number of graphs. Under certain conditions imposed on the graphs, we establish a new fixed point theorem for such mappings. The obtained result extends, generalizes and improves many existing contributions in the literature including standard fixed point theorems, fixed point theorems on a metric space endowed with a partial order and fixed point theorems for cyclic mappings.
The existence of fixed points for monotone maps on the fuzzy ordered sets under suitable conditions is proved.
Under suitable conditions we prove the existence of fixed points of fuzzy monotone multifunctions.
We prove the existence of a fixed point of non-expanding fuzzy multifunctions in -fuzzy preordered sets. Furthermore, we establish the existence of least and minimal fixed points of non-expanding fuzzy multifunctions in -fuzzy ordered sets.
Given a locale and a join semilattice with bottom element , a new concept called -slice is defined,where is as an action of the locale on the join semilattice . The -slice adopts topological properties of the locale through the action . It is shown that for each , is an interior operator on .The collection is a Priestly space and a subslice of -. If the locale is spatial we establish an isomorphism between the -slices and . We have shown that the fixed set of ,...