A characterization of regular le-semigroups.
A class of congruences on a posemigroup.
A classification of rational languages by semilattice-ordered monoids
We prove here an Eilenberg type theorem: the so-called conjunctive varieties of rational languages correspond to the pseudovarieties of finite semilattice-ordered monoids. Taking complements of members of a conjunctive variety of languages we get a so-called disjunctive variety. We present here a non-trivial example of such a variety together with an equational characterization of the corresponding pseudovariety.
A common abstraction of boolean rings and lattice ordered groups
A contour view on uninorm properties
Any given increasing function is completely determined by its contour lines. In this paper we show how each individual uninorm property can be translated into a property of contour lines. In particular, we describe commutativity in terms of orthosymmetry and we link associativity to the portation law and the exchange principle. Contrapositivity and rotation invariance are used to characterize uninorms that have a continuous contour line.
A duality between algebras of basic logic and bounded representable -monoids
-algebras, introduced by P. Hájek, form an algebraic counterpart of the basic fuzzy logic. In the paper it is shown that -algebras are the duals of bounded representable -monoids. This duality enables us to describe some structure properties of -algebras.
A functional treatment of right invariant holoids.
A further investigation for Egoroff's theorem with respect to monotone set functions
In this paper, we investigate Egoroff’s theorem with respect to monotone set function, and show that a necessary and sufficient condition that Egoroff’s theorem remain valid for monotone set function is that the monotone set function fulfill condition (E). Therefore Egoroff’s theorem for non-additive measure is formulated in full generality.
A generalization of the prime radical of an ideal.
A hypervaluation of a ring onto a totally ordered non-cancellative semigroup without zero divisors.
A non commutative generalization of -autonomous lattices
Pseudo -autonomous lattices are non-commutative generalizations of -autonomous lattices. It is proved that the class of pseudo -autonomous lattices is a variety of algebras which is term equivalent to the class of dualizing residuated lattices. It is shown that the kernels of congruences of pseudo -autonomous lattices can be described as their normal ideals.
A non-commutative generalization of -algebras
A normal form for some semigroups generated by idempotents
A note of a family of quasi-antiorders on semigroup
A note on Girard quantales
A note on good pseudo BL-algebras
Pseudo BL-algebras are a noncommutative extention of BL-algebras. In this paper we study good pseudo BL-algebras and consider some classes of these algebras.
A note on minimal and maximal ideals of ordered semigroups.
A note on pseudocongruences in semigroups.
A note on semi-pseudoorders in semigroups.
A note on tensor products on the unit interval