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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-2 z 2
    Tytuł:
    Quantum logics with classically determined states
    Autorzy:
    de Lucia, Paolo
    Pták, Pavel
    Powiązania:
    https://bibliotekanauki.pl/articles/965853.pdf
    Data publikacji:
    1999
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    quantum logic (= orthomodular poset)
    Boolean algebra
    state (= probability measure)
    Źródło:
    Colloquium Mathematicum; 1999, 80, 1; 147-154
    0010-1354
    Pojawia się w:
    Colloquium Mathematicum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Subdirect decompositions of algebras from 2-clone extensions of varieties
    Autorzy:
    Płonka, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/966077.pdf
    Data publikacji:
    1998
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    lattice
    varieties
    subdirectly irreducible algebra
    Boolean algebra
    clone extension of a variety
    subdirect product
    Opis:
    Let τ:F → ℕ be a type of algebras, where F is a set of fundamental operation symbols and ℕ is the set of nonnegative integers. We assume that |F|≥2 and 0 ∉ (F). For a term φ of type τ we denote by F(φ) the set of fundamental operation symbols from F occurring in φ. An identity φ ≉ ψ of type τ is called clone compatible if φ and ψ are the same variable or F(φ)=F(ψ)≠$\emptyset$. For a variety V of type τ we denote by $V^{c,2}$ the variety of type τ defined by all identities φ ≉ ψ from Id(V) which are either clone compatible or |F(φ)|, |F(ψ)|≥2. Under some assumption on terms (condition (0.iii)) we show that an algebra ${\gt A}$ belongs to $V^{c,2}$ iff it is isomorphic to a subdirect product of an algebra from V and of some other algebras of very simple structure. This result is applied to finding subdirectly irreducible algebras in $V^{c,2}$ where V is the variety of distributive lattices or the variety of Boolean algebras.
    Źródło:
    Colloquium Mathematicum; 1998, 77, 2; 189-199
    0010-1354
    Pojawia się w:
    Colloquium Mathematicum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-2 z 2

      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