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ę "congruence kernel" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Congruences on semilattices with section antitone involutions
    Autorzy:
    Chajda, Ivan
    Powiązania:
    https://bibliotekanauki.pl/articles/729025.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    semilattice
    section
    antitone involution
    congruence kernel
    filter
    congruence distributivity
    3-permutability
    Opis:
    We deal with congruences on semilattices with section antitone involution which rise e.g., as implication reducts of Boolean algebras, MV-algebras or basic algebras and which are included among implication algebras, orthoimplication algebras etc. We characterize congruences by their kernels which coincide with semilattice filters satisfying certain natural conditions. We prove that these algebras are congruence distributive and 3-permutable.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2010, 30, 2; 207-215
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Implication algebras
    Autorzy:
    Chajda, Ivan
    Powiązania:
    https://bibliotekanauki.pl/articles/729171.pdf
    Data publikacji:
    2006
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    implication algebra
    pre-implication algebra
    orthoimplication algebra
    orthosemilattice
    congruence kernel
    Opis:
    We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence properties.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2006, 26, 2; 141-153
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Orthorings
    Autorzy:
    Chajda, Ivan
    Länger, Helmut
    Powiązania:
    https://bibliotekanauki.pl/articles/729119.pdf
    Data publikacji:
    2004
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    ortholattice
    generalized ortholattice
    sectionally complemented lattice
    orthoring
    arithmetical variety
    weakly regular variety
    congruence kernel
    ideal term
    basis of ideal terms
    subtractive term
    Opis:
    Certain ring-like structures, so-called orthorings, are introduced which are in a natural one-to-one correspondence with lattices with 0 every principal ideal of which is an ortholattice. This correspondence generalizes the well-known bijection between Boolean rings and Boolean algebras. It turns out that orthorings have nice congruence and ideal properties.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 137-147
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ring-like operations is pseudocomplemented semilattices
    Autorzy:
    Chajda, Ivan
    Länger, Helmut
    Powiązania:
    https://bibliotekanauki.pl/articles/728882.pdf
    Data publikacji:
    2000
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    pseudocomplemented semilattice
    Boolean algebra
    Boolean ring
    distributivity
    linear equation
    ideal
    congruence kernel
    Opis:
    Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations. Properties of these ring-like operations are derived and a characterization of Boolean pseudocomplemented semilattices in terms of these operations is given. Finally, ideals in the ring-like structures are defined and characterized.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 1; 87-95
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the lattice of congruences on inverse semirings
    Autorzy:
    Bhuniya, Anwesha
    Bhuniya, Anjan
    Powiązania:
    https://bibliotekanauki.pl/articles/728800.pdf
    Data publikacji:
    2008
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    inverse semirings
    trace
    kernel
    Clifford congruence
    least Clifford congruence
    Opis:
    Let S be a semiring whose additive reduct (S,+) is an inverse semigroup. The relations θ and k, induced by tr and ker (resp.), are congruences on the lattice C(S) of all congruences on S. For ρ ∈ C(S), we have introduced four congruences $ρ_{min}, ρ_{max}, ρ^{min}$ and $ρ^{max}$ on S and showed that $ρθ = [ρ_{min},ρ_{max}]$ and $ρκ = [ρ^{min},ρ^{max}]$. Different properties of ρθ and ρκ have been considered here. A congruence ρ on S is a Clifford congruence if and only if $ρ_{max}$ is a distributive lattice congruence and $ρ^{max}$ is a skew-ring congruence on S. If η (σ) is the least distributive lattice (resp. skew-ring) congruence on S then η ∩ σ is the least Clifford congruence on S.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 2; 193-208
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Clifford semiring congruences on an additive regular semiring
    Autorzy:
    Bhuniya, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/729215.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    additive regular semiring
    skew-ring
    trace
    kernel
    Clifford congruence
    Opis:
    A congruence ρ on a semiring S is called a (generalized)Clifford semiring congruence if S/ρ is a (generalized)Clifford semiring. Here we characterize the (generalized)Clifford congruences on a semiring whose additive reduct is a regular semigroup. Also we give an explicit description for the least (generalized)Clifford congruence on such semirings.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2014, 34, 2; 143-153
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation
    Autorzy:
    Barzegar, Hasan
    Powiązania:
    https://bibliotekanauki.pl/articles/749868.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    derivation
    kernel
    congruence
    ideal
    kernel element
    Opis:
    The present note is an Erratum for the two theorems of the paper "Congruences and ideals in a distributive lattice with respect to a derivation" by M. Sambasiva Rao.
    Źródło:
    Bulletin of the Section of Logic; 2019, 48, 1
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On GE-algebras
    Autorzy:
    Bandaru, Ravikumar
    Saeid, Arsham Borumand
    Jun, Young Bae
    Powiązania:
    https://bibliotekanauki.pl/articles/1023338.pdf
    Data publikacji:
    2020-08-30
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    (transitive) GE-algebra
    filter
    upper set
    congruence kernel
    Opis:
    Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized exchange algebra), is introduced and studied its properties. We consider filters, upper sets and congruence kernels in a GE-algebra. We also characterize congruence kernels of transitive GE-algebras.
    Źródło:
    Bulletin of the Section of Logic; 2021, 50, 1; 81-96
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On QI-algebras
    Autorzy:
    Bandaru, Ravi Kumar
    Powiązania:
    https://bibliotekanauki.pl/articles/38140990.pdf
    Data publikacji:
    2017-12-20
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    BI-algebra
    QI-algebra
    right distributive
    ideal
    congruence kernel
    Opis:
    In this paper, the notion of a QI-algebra is introduced which is a generalization of a BI-algebra and there are studied its properties. We considered ideals, congruence kernels in a QI-algebra and characterized congruence kernels whenever a QI-algebra is right distributive.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2017, 37, 2; 137-145
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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