Equivalences, a-semigroups and a-congruences.
Necessary and sufficient conditions under which two fuzzy sets (in the most general, poset valued setting) with the same domain have equal families of cut sets are given. The corresponding equivalence relation on the related fuzzy power set is investigated. Relationship of poset valued fuzzy sets and fuzzy sets for which the co-domain is Dedekind-MacNeille completion of that posets is deduced.
The original version of the article was published in Central European Journal of Mathematics, 2007, 5(1), 181–200, DOI: 10.2478/s11533-006-0036-3. Unfortunately, the original version of this article contains a mistake: in Theorem 5.2 only conditions (i) and (ii) (and not (iii)) are equivalent. We correct the theorem and its proof.
In this paper we investigate the Boolean functions with maximum essential arity gap. Additionally we propose a simpler proof of an important theorem proved by M. Couceiro and E. Lehtonen in [3]. They use Zhegalkin’s polynomials as normal forms for Boolean functions and describe the functions with essential arity gap equals 2. We use to instead Full Conjunctive Normal Forms of these polynomials which allows us to simplify the proofs and to obtain several combinatorial results concerning the Boolean functions...
Dans cet article nous faisons l’étude algébrique des jets de Demailly-Semple en dimension 3 en utilisant la théorie des invariants des groupes non réductifs. Cette étude fournit la caractérisation géométrique du fibré des jets d’ordre 3 sur une variété de dimension 3 et permet d’effectuer, par Riemann-Roch, un calcul de caractéristique d’Euler.
La notion de tresse de Gutmann a été introduite ([4]) pour généraliser la notion de chaîne de Gutmann qui restait souvent assez loin du protocole observé. Les tresses de Gutmann ont été étudiées ([3], [4], [6]) en considérant que les réponses au questionnaire étaient dichotomiques. Nous supposons ici que les réponses aux questions appartiennent à un ensemble fini totalement ordonné quelconque.
A result by Dehornoy (1992) says that every nontrivial braid admits a -definite expression, defined as a braid word in which the generator with maximal index appears with exponents that are all positive, or all negative. This is the ground result for ordering braids. In this paper, we enhance this result and prove that every braid admits a -definite word expression that, in addition, is quasi-geodesic. This establishes a longstanding conjecture. Our proof uses the dual braid monoid and a new...
Following the study of sharp domination in effect algebras, in particular, in atomic Archimedean MV-effect algebras it is proved that if an atomic MV-effect algebra is uniformly Archimedean then it is sharply dominating.