Un'algebra locale reticolata che interviene nella teoria dei sistemi
Unbouded descending infinite chain in Rudin-Frolík order
Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes
Une arithmétique non commutative des demi-groupes et des anneaux
Une nouvelle approche basée sur le treillis de Galois, pour l'apprentissage de concepts
L'apprentissage automatique à partir d'exemples consiste généralement à caractériser un ensemble d'objets dénotant un concept. Nous avons développé deux méthodes d'apprentissage symbolique, LEGAL et LEGAL-E, qui s'appuient sur le même modèle d'apprentissage, et utilisent une technique de généralisation descendante, basée sur la logique des propositions et sur la structure de treillis de Galois, pour produire un ensemble de descriptions structurées et ordonnées. Elles diffèrent dans leur approche...
Une opérade anticyclique sur les arbustes
We define new combinatorial objects, called shrubs, such that forests of rooted trees are shrubs. We then introduce a structure of operad on shrubs. We show that this operad is contained in the Zinbiel operad, by using the inclusion of Zinbiel in the operad of moulds. We also prove that this inclusion is compatible with the richer structure of anticyclic operad that exists on Zinbiel and on moulds.
Une remarque sur l'algorithme de Ducamp pour la recherche de tous les ordres totaux contenant un ordre partiel
Unequivocal linearly ordered groups
Unessential Zassenhaus refinements
Unicidad de implicación de álgebra-MV y negación de De Morgan.
It is shown that the implication of an MV-algebra is determined by de Morgan negation operations on a family of quotients of the given algebra; these quotients may be taken to be totally ordered. Certain existing results on the uniqueness of an MV-algebra implication are thereby elucidated and new criteria for uniqueness derived. These rely on a characterisation of chains on which a de Morgan negation is necessarily unique.
Uniform binary geometries.
Uniform ideal completions
Uniform normality of topological groups and -groups
Uniform topology onEQ-algebras
In this paper, we use filters of an EQ-algebra E to induce a uniform structure (E, 𝓚), and then the part 𝓚 induce a uniform topology 𝒯 in E. We prove that the pair (E, 𝒯) is a topological EQ-algebra, and some properties of (E, 𝒯) are investigated. In particular, we show that (E, 𝒯) is a first-countable, zero-dimensional, disconnected and completely regular space. Finally, by using convergence of nets, the convergence of topological EQ-algebras is obtained.
Uniformität des Verbandes der Partitionen
Unions of uniquely complemented lattices
In this paper we generalize a result of V. N. Salij concerning direct product decompositions of lattices which are complete and uniquely complemented.
Unique -closure for some -groups of rational valued functions
Usually, an abelian -group, even an archimedean -group, has a relatively large infinity of distinct -closures. Here, we find a reasonably large class with unique and perfectly describable -closure, the class of archimedean -groups with weak unit which are “-convex”. ( is the group of rationals.) Any is -convex and its unique -closure is the Alexandroff algebra of functions on defined from the clopen sets; this is sometimes .
Unique covering on radical classes of -groups
Unique irredundant decompositions in upper continuous lattices
Uniquely covered radical classes of -groups
It is proved that a radical class of lattice-ordered groups has exactly one cover if and only if it is an intersection of some -complement radical class and the big atom over .