Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Relation" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-12 z 12
    Tytuł:
    Fixed point and homotopy result for mappings satisfying an implicit relation
    Autorzy:
    Altun, I.
    Turkoglu, D.
    Powiązania:
    https://bibliotekanauki.pl/articles/729428.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    fixed point
    implicit relation
    homotopy result
    Opis:
    In this paper, we prove some fixed point theorems for single valued mappings satisfying an implicit relation on space with two metrics. In addition we give a homotopy result using our theorems.
    Źródło:
    Discussiones Mathematicae, Differential Inclusions, Control and Optimization; 2007, 27, 2; 349-363
    1509-9407
    Pojawia się w:
    Discussiones Mathematicae, Differential Inclusions, Control and Optimization
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The semantical hyperunification problem
    Autorzy:
    Denecke, Klaus
    Koppitz, Jörg
    Wismath, Shelly
    Powiązania:
    https://bibliotekanauki.pl/articles/728730.pdf
    Data publikacji:
    2001
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    hypersubstitution
    fully invariant congruence relation
    hyperunification problem
    Opis:
    A hypersubstitution of a fixed type τ maps n-ary operation symbols of the type to n-ary terms of the type. Such a mapping induces a unique mapping defined on the set of all terms of type t. The kernel of this induced mapping is called the kernel of the hypersubstitution, and it is a fully invariant congruence relation on the (absolutely free) term algebra $F_{τ}(X)$ of the considered type ([2]). If V is a variety of type τ, we consider the composition of the natural homomorphism with the mapping induced by a hypersubstitution. The kernel of this mapping is called the semantical kernel of the hypersubstitution with respect to the given variety. If the pair (s,t) of terms belongs to the semantical kernel of a hypersubstitution, then this hypersubstitution equalizes s and t with respect to the variety. Generalizing the concept of a unifier, we define a semantical hyperunifier for a pair of terms with respect to a variety. The problem of finding a semantical hyperunifier with respect to a given variety for any two terms is then called the semantical hyperunification problem.
    We prove that the semantical kernel of a hypersubstitution is a fully invariant congruence relation on the absolutely free algebra of the given type. Using this kernel, we define three relations between sets of hypersubstitutions and sets of varieties and introduce the Galois correspondences induced by these relations. Then we apply these general concepts to varieties of semigroups.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 175-200
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Clausal relations and C-clones
    Autorzy:
    Vargas, Edith
    Powiązania:
    https://bibliotekanauki.pl/articles/729057.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    clone
    Galois connection
    clausal relation
    C-clone
    Opis:
    We introduce a special set of relations called clausal relations. We study a Galois connection Pol-CInv between the set of all finitary operations on a finite set D and the set of clausal relations, which is a restricted version of the Galois connection Pol-Inv. We define C-clones as the Galois closed sets of operations with respect to Pol-CInv and describe the lattice of all C-clones for the Boolean case D = {0,1}. Finally we prove certain results about C-clones over a larger set.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2010, 30, 2; 147-171
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Słupecki criterion by duality
    Autorzy:
    Horváth, Eszter
    Powiązania:
    https://bibliotekanauki.pl/articles/728802.pdf
    Data publikacji:
    2001
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    primal algebra
    diagonal relation
    Galois connection
    Słupecki Criterion
    Opis:
    A method is presented for proving primality and functional completeness theorems, which makes use of the operation-relation duality. By the result of Sierpiński, we have to investigate relations generated by the two-element subsets of $A^{k}$ only. We show how the method applies for proving Słupecki's classical theorem by generating diagonal relations from each pair of k-tuples.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 1; 5-11
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Aggregating Fuzzy Binary Relations and Fuzzy Filters
    Autorzy:
    Amroune, Abdelaziz
    Aissa, Bouad
    Powiązania:
    https://bibliotekanauki.pl/articles/52762968.pdf
    Data publikacji:
    2018-12-01
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    aggregation
    fuzzy relation
    fuzzy lattices
    fuzzy filter
    trace
    Opis:
    The main goal of this paper is to investigate the aggregation of diverse families of binary fuzzy relations, fuzzy filters, and fuzzy lattices. Some links between these families and their images via an aggregation are explored.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2018, 38, 2; 273-296
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Semigroups derived from (Γ,n)-semihypergroups and T-functor
    Autorzy:
    Ostadhadi-Dehkordi, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/729159.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    (Γ,n)-semihypergroup
    Θ-relation
    T-fuctor
    fundamental semigroup
    Opis:
    The main purpose of this paper is to introduce the concept of (Γ,n)-semihypergroups as a generalization of hypergroups, as a generalization of n-ary hypergroups and obtain an exact covariant functor between the category (Γ,n)-semihypergrous and the category semigroups. Moreover, we introduce and study complete part. Finally, we obtain some new results and some fundamental theorems in this respect.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2015, 35, 1; 79-95
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Some properties of congurence relations on orthomodular lattices
    Autorzy:
    Dorfer, Gerhard
    Powiązania:
    https://bibliotekanauki.pl/articles/728766.pdf
    Data publikacji:
    2001
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    orthomodular lattice
    congruence relation
    congruence-regular
    congruence-uniform
    congruence-permutable
    Opis:
    In this paper congruences on orthomodular lattices are studied with particular regard to analogies in Boolean algebras. For this reason the lattice of p-ideals (corresponding to the congruence lattice) and the interplay between congruence classes is investigated. From the results adduced there, congruence regularity, uniformity and permutability for orthomodular lattices can be derived easily.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 1; 57-66
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the structure of halfdiagonal-halfterminal-symmetric categories with diagonal inversions
    Autorzy:
    Vogel, Hans-Jürgen
    Powiązania:
    https://bibliotekanauki.pl/articles/728750.pdf
    Data publikacji:
    2001
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    halfdiagonal-halfterminal-symmetric category
    diagonal inversion
    partial order relation
    subidentity
    equation
    Opis:
    The category of all binary relations between arbitrary sets turns out to be a certain symmetric monoidal category Rel with an additional structure characterized by a family $d = (d_{A}: A → A⨂ A | A ∈ |Rel|)$ of diagonal morphisms, a family $t = (t_{A}: A → I | A ∈ |Rel|)$ of terminal morphisms, and a family $∇ = (∇_{A}: A ⨂ A → A | A ∈ |Rel|)$ of diagonal inversions having certain properties. Using this properties in [11] was given a system of axioms which characterizes the abstract concept of a halfdiagonal-halfterminal-symmetric monoidal category with diagonal inversions (hdht∇s-category). Besides of certain identities this system of axioms contains two identical implications. In this paper is shown that there is an equivalent characterizing system of axioms for hdht∇s-categories consisting of identities only. Therefore, the class of all small hdht∇-symmetric categories (interpreted as hetrogeneous algebras of a certain type) forms a variety and hence there are free theories for relational structures.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 139-163
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Weak-hyperlattices derived from fuzzy congruences
    Autorzy:
    Koguep, Blériot Blaise Njionou
    Lele, Celestin
    Powiązania:
    https://bibliotekanauki.pl/articles/38118121.pdf
    Data publikacji:
    2017-06-01
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    hyperlattice
    ideal
    prime ideal
    fuzzy ideal
    fuzzy prime ideal
    fuzzy congruence relation
    Opis:
    In this paper we explore the connections between fuzzy congruence relations, fuzzy ideals and homomorphisms of hyperlattices. Indeed, we introduce the concept of fuzzy quotient set of hyperlattices as it was done in the case of rings [19]. We prove that a fuzzy congruence induces a fuzzy ideal of the fuzzy quotient hyperlattice. In particular, we establish necessary and sufficient conditions for a zero-fuzzy congruence class to be a fuzzy ideal of a hyperlattice.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2017, 37, 1; 75-91
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Distributive lattices with a given skeleton
    Autorzy:
    Grygiel, Joanna
    Powiązania:
    https://bibliotekanauki.pl/articles/728922.pdf
    Data publikacji:
    2004
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    distributive lattice
    skeleton
    gluing
    tolerance relation
    skeleton torelance
    K-atlas
    H-irreducibility
    Opis:
    We present a construction of finite distributive lattices with a given skeleton. In the case of an H-irreducible skeleton K the construction provides all finite distributive lattices based on K, in particular the minimal one.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 75-94
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On balanced order relations and the normal hull of completely simple semirings
    Autorzy:
    Maity, Sunil
    Powiązania:
    https://bibliotekanauki.pl/articles/729213.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    skew-ring
    Rees matrix semiring
    balanced order relation
    essential extension
    normal extension
    normal ideal
    normal hull
    Opis:
    In [1] the authors proved that a semiring S is a completely simple semiring if and only if S is isomorphic to a Rees matrix semiring over a skew-ring R with sandwich matrix P and index sets I and Λ which are bands under multiplication. In this paper we characterize all the balanced order relations on completely simple semirings. Also we study the normal hull of a completely simple semiring.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2014, 34, 1; 75-84
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On monadic quantale algebras: basic properties and representation theorems
    Autorzy:
    Solovyov, Sergey
    Powiązania:
    https://bibliotekanauki.pl/articles/729061.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    m-semilattice
    ⋁-lattice
    quantale
    quantale module
    topological system
    tropological system
    quantale algebra
    quantaloid
    quantale algebroid
    quantifier
    monadic quantale algebra
    Girard quantale
    Q-equivalence relation
    Ω-valued set
    GL-monoid
    commutative integral cl-monoid
    Opis:
    Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new structures.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2010, 30, 1; 91-118
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-12 z 12

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies