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ę "equality algebra" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-3 z 3
    Tytuł:
    Roughness of Filters in Equality Algebras
    Autorzy:
    Rezaei, Gholam Reza
    Borzooei, Rajab Ali
    Aaly Kologani, Mona
    Jun, Young Bae
    Powiązania:
    https://bibliotekanauki.pl/articles/43180962.pdf
    Data publikacji:
    2023
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    equality algebra
    approximation space
    D-lower approximation
    D-upper approximation
    filter
    D-lower filter
    D-upper filter
    Opis:
    Rough set theory is an excellent mathematical tool for the analysis of a vague description of actions in decision problems. Now, in this paper by considering the notion of an equality algebra, the notion of the lower and the upper approximations are introduced and some properties of them are given. Moreover, it is proved that the lower and the upper approximations define an interior operator and a closure operator, respectively. Also, using D-lower and D-upper approximation, conditions for a nonempty subset to be definable are provided and investigated that under which condition D-lower and D-upper approximation can be filter.
    Źródło:
    Bulletin of the Section of Logic; 2023, 52, 1; 1-18
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Fuzzy Sub-Equality Algebras Based on Fuzzy Points
    Autorzy:
    Kologani, Mona Aaly
    Takallo, Mohammad Mohseni
    Jun, Young Bae
    Borzooei, Rajab Ali
    Powiązania:
    https://bibliotekanauki.pl/articles/43188660.pdf
    Data publikacji:
    2024
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    equality algebra
    fuzzy set
    fuzzy point
    fuzzy ideal
    sub-equality algebras
    \((\in, \in)\)-fuzzy sub-equality algebras
    \((\in, \in\! \vee \, {q})\)-fuzzy sub-equality algebras
    \((q, \in\! \vee \, {q})\)-fuzzy sub-equality algebras
    Opis:
    In this paper, by using the notion of fuzzy points and equality algebras, the notions of fuzzy point equality algebra, equality-subalgebra, and ideal were established. Some characterizations of fuzzy subalgebras were provided by using such concepts. We defined the concepts of \((\in, \in)\) and \((\in, \in\! \vee \, {q})\)-fuzzy ideals of equality algebras, discussed some properties, and found some equivalent definitions of them. In addition, we investigated the relation between different kinds of \((\alpha,\beta)\)-fuzzy subalgebras and \((\alpha,\beta)\)-fuzzy ideals on equality algebras. Also, by using the notion of \((\in, \in)\)-fuzzy ideal, we defined two equivalence relations on equality algebras and we introduced an order on classes of \(X\), and we proved that the set of all classes of \(X\) by these order is a poset.
    Źródło:
    Bulletin of the Section of Logic; 2024, 53, 2; 195-222
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Equality Logic
    Autorzy:
    Ghorbani, Shokoofeh
    Powiązania:
    https://bibliotekanauki.pl/articles/1023179.pdf
    Data publikacji:
    2020-11-04
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    many-valued logic
    equality logic
    completness
    prelinear equality∆-algebra
    prelinear equality∆ logic
    Opis:
    In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem. We show that this logic is regularly algebraizable with respect to the variety of equality∆-algebras but it is not Fregean. Then we introduce the concept of (prelinear) equality∆-algebras and investigate some related properties. Also, we study ∆-deductive systems of equality∆-algebras. In particular, we prove that every prelinear equality ∆-algebra is a subdirect product of linearly ordered equality∆-algebras. Finally, we construct prelinear equality ∆ logic and prove the soundness and strong completeness of this logic respect to prelinear equality∆-algebras.
    Źródło:
    Bulletin of the Section of Logic; 2020, 49, 3; 291-324
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-3 z 3

      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