Freely adjoining a complement to a lattice
The general Galois theory for functions and relational constraints over arbitrary sets described in the authors' previous paper is refined by imposing algebraic conditions on relations.
Some functional representation theorems for monadic -valued Łukasiewicz algebras (qLk-algebras, for short) are given. Bearing in mind some of the results established by G. Georgescu and C. Vraciu (Algebre Boole monadice si algebre Łukasiewicz monadice, Studii Cercet. Mat. 23 (1971), 1027–1048) and P. Halmos (Algebraic Logic, Chelsea, New York, 1962), two functional representation theorems for qLk-algebras are obtained. Besides, rich qLk-algebras are introduced and characterized. In addition,...
In this paper further development of Chebyshev type inequalities for Sugeno integrals based on an aggregation function and a scale transformation is given. Consequences for T-(S-)evaluators are established.
We use a set theoretic approach to consensus by viewing an object as a set of smaller pieces called “bricks”. A consensus function is neutral if there exists a family D of sets such that a brick s is in the output of a profile if and only if the set of positions with objects that contain s belongs to D. We give sufficient set theoretic conditions for D to be a lattice filter and, in the case of a finite lattice, these conditions turn out to be necessary. Ourfinal result, which involves a finite...