Fuzzy structures of PI() BCK-ideals in hyper BCK-algebras.
We deal with unbounded dually residuated lattices that generalize pseudo -algebras in such a way that every principal order-ideal is a pseudo -algebra. We describe the connections of these generalized pseudo -algebras to generalized pseudo effect algebras, which allows us to represent every generalized pseudo -algebra by means of the positive cone of a suitable -group . We prove that the lattice of all (normal) ideals of and the lattice of all (normal) convex -subgroups of are isomorphic....
We denote by the class of all cardinals; put . Let be a class of algebraic systems. A generalized cardinal property on is defined to be a rule which assings to each an element of such that, whenever and , then . In this paper we are interested mainly in the cases when (i) is the class of all bounded lattices having more than one element, or (ii) is a class of lattice ordered groups.
A semigroup is called a generalized -semigroup if there exists a group congruence on such that the identity class contains a greatest element with respect to the natural partial order of . Using the concept of an anticone, all partially ordered groups which are epimorphic images of a semigroup are determined. It is shown that a semigroup is a generalized -semigroup if and only if contains an anticone, which is a principal order ideal of . Also a characterization by means of the structure...
In this paper, some generating methods for principal topology are introduced by means of some logical operators such as uninorms and triangular norms and their properties are investigated. Defining a pre-order obtained from the closure operator, the properties of the pre-order are studied.
The paper contains characterizations of generators and cyclic projective generators in the category of ordered right acts over an ordered monoid.
In this paper we deal with the of an -algebra , where and are nonzero cardinals. It is proved that if is singular and -distributive, then it is . We show that if is complete then it can be represented as a direct product of -algebras which are homogeneous with respect to higher degrees of distributivity.
We give two variations of the Holland representation theorem for -groups and of its generalization of Glass for directed interpolation po-groups as groups of automorphisms of a linearly ordered set or of an antilattice, respectively. We show that every pseudo-effect algebra with some kind of the Riesz decomposition property as well as any pseudo -algebra can be represented as a pseudo-effect algebra or as a pseudo -algebra of automorphisms of some antilattice or of some linearly ordered set.