We introduce (ℓ-)bimonoids as ordered algebras consisting of two compatible monoidal structures on a partially (lattice-ordered) set. Bimonoids form an appropriate framework for the study general notion complementation, which subsumes both Boolean complements in bounded distributive lattices and multiplicative inverses monoids. The central question paper is whether how bimonoids can be embedded...

Ordered fuzzy numbers (OFN) invented by the second author and his two coworkers in 2002 make possible to utilize the fuzzy arithmetic and to construct the Abelian group of fuzzy numbers and then an ordered ring. The definition of OFN uses the extension of the parametric representation of convex fuzzy numbers. Fuzzy implication is proposed with the help of algebraic operations and a lattice stru...

We introduce the notion of a sturdy frame of abstract algebras which is a common generalization of a sturdy semilattice of semigroups, the sum of lattice ordered systems, the strong distributive lattice of semirings, the sturdy frame of type (2, 2) algebras and the strong b-lattice of semirings. Also, we give some properties and characterizations of the sturdy frame of abstract algebras. As an ...