We introduce the notion of weak dually residuated lattice ordered semigroups (WDRL-semigroups) and investigate the relation between -algebras and WDRL-semigroups. We prove that the category of -algebras is equivalent to the category of some bounded WDRL-semigroups. Moreover, the connection between WDRL-semigroups and DRL-semigroups is studied.
Lattices in the class of algebraic, distributive lattices whose compact elements form relatively normal lattices are investigated. We deal mainly with the lattices in the greatest element of which is compact. The distributive radicals of algebraic lattices are introduced and for the lattices in with the sublattice of compact elements satisfying the conditional join-infinite distributive law they are compared with two other kinds of radicals. Connections between complete distributivity of algebraic...
MM functions, formed by finite composition of the operators min, max and translation, represent discrete-event systems involving disjunction, conjunction and delay. The paper shows how they may be formulated as homogeneous rational algebraic functions of degree one, over (max, +) algebra, and reviews the properties of such homogeneous functions, illustrated by some orbit-stability problems.
We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete event systems. We say that a subsemimodule of the free semimodule over a semiring is rational if it has a generating family that is a rational subset of , being thought of as a monoid under the entrywise product. We show that for various semirings of max-plus type whose elements are integers, rational semimodules...
Lattice-ordered groups, as well as -algebras (pseudo -algebras), are both particular cases of dually residuated lattice-ordered monoids (-monoids for short). In the paper we study ideals of lower-bounded -monoids including -algebras. Especially, we deal with the connections between ideals of a -monoid and ideals of the lattice reduct of .
Dually residuated lattice-ordered monoids (DRl-monoids) generalize lattice-ordered groups and include also some algebras related to fuzzy logic (e.g. GMV-algebras and pseudo BL-algebras). In the paper, we give some necessary and sufficient conditions for a DRl-monoid to be representable (i.e. a subdirect product of totally ordered DRl-monoids) and we prove that the class of representable DRl-monoids is a variety.
This paper is devoted to the study of implication (and co-implication) functions defined from idempotent uninorms. The expression of these implications, a list of their properties, as well as some particular cases are studied. It is also characterized when these implications satisfy some additional properties specially interesting in the framework of implication functions, like contrapositive symmetry and the exchange principle.