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-10 z 10
    Tytuł:
    Horizontal sums of basic algebras
    Autorzy:
    Chajda, Ivan
    Powiązania:
    https://bibliotekanauki.pl/articles/728768.pdf
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    Basic algebra
    horizontal sum
    chain basic algebra
    MV-algebra
    Boolean algebra
    Opis:
    The variety of basic algebras is closed under formation of horizontal sums. We characterize when a given basic algebra is a horizontal sum of chains, MV-algebras or Boolean algebras.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2009, 29, 1; 21-33
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Prime ideal theorem for double Boolean algebras
    Autorzy:
    Kwuida, Léonard
    Powiązania:
    https://bibliotekanauki.pl/articles/728830.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    double Boolean algebra
    protoconcept algebra
    concept algebra
    weakly dicomplemented lattices
    Opis:
    Double Boolean algebras are algebras (D,⊓,⊔,⊲,⊳,⊥,⊤) of type (2,2,1,1,0,0). They have been introduced to capture the equational theory of the algebra of protoconcepts. A filter (resp. an ideal) of a double Boolean algebra D is an upper set F (resp. down set I) closed under ⊓ (resp. ⊔). A filter F is called primary if F ≠ ∅ and for all x ∈ D we have x ∈ F or $x^{⊲} ∈ F$. In this note we prove that if F is a filter and I an ideal such that F ∩ I = ∅ then there is a primary filter G containing F such that G ∩ I = ∅ (i.e. the Prime Ideal Theorem for double Boolean algebras).
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 2; 263-275
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A groupoid characterization of Boolean algebras
    Autorzy:
    Chajda, Ivan
    Powiązania:
    https://bibliotekanauki.pl/articles/729109.pdf
    Data publikacji:
    2004
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    groupoid
    Boolean algebra
    semi-bolean algebra
    involution
    dualautomorphism (or antiautomorphism)
    Opis:
    We present a groupoid which can be converted into a Boolean algebra with respect to term operations. Also conversely, every Boolean algebra can be reached in this way.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 2; 177-184
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The lattice of subvarieties of the biregularization of the variety of Boolean algebras
    Autorzy:
    Płonka, Jerzy
    Powiązania:
    https://bibliotekanauki.pl/articles/729041.pdf
    Data publikacji:
    2001
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    subdirectly irreducible algebra
    lattice of subvarieties
    Boolean algebra
    biregular identity
    Opis:
    Let τ: F → N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of all positive integers. An identity φ ≈ ψ is called biregular if it has the same variables in each of it sides and it has the same fundamental operation symbols in each of it sides. For a variety V of type τ we denote by $V_{b}$ the biregularization of V, i.e. the variety of type τ defined by all biregular identities from Id(V).
    Let B be the variety of Boolean algebras of type $τ_{b}: {+,·,´} → N$, where $τ_{b}(+) = τ_{b}(·) = 2$ and $τ_{b}(´) = 1$. In this paper we characterize the lattice $ℒ(B_{b})$ of all subvarieties of the biregularization of the variety B.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 255-268
    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ł:
    Boolean filters in pseudo-complemented almost distributive lattices
    Autorzy:
    Rafi, N.
    Bandaru, Ravi
    Rao, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/728886.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    Almost Distributive Lattice (ADL)
    pseudo-complemented ADL
    Boolean filter
    maximal filter
    congruence
    Boolean algebra
    Opis:
    In this paper we have introduced the concept of Boolean filters in a pseudo-complemented Almost Distributive Lattice (pseudo-complemented ADL) and studied their properties. Finally, a Boolean filter is characterized in terms of filter congruences.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2015, 35, 2; 119-128
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    bi-BL-algebra
    Autorzy:
    Abbasloo, Mahdeieh
    Saeid, Arsham
    Powiązania:
    https://bibliotekanauki.pl/articles/728950.pdf
    Data publikacji:
    2011
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    bi-BL-algebra
    bi-filter
    bi-deductive system
    bi-Boolean elements of a bi-BL-algebra
    Opis:
    In this paper, we introduce the notion of a bi-BL-algebra, bi-filter, bi-deductive system and bi-Boolean elements of a bi-BL-algebra and deal with bi-filters in bi-BL-algebra. We study this structure and construct the quotient of bi-BL-algebra. Also present a classification for examples of proper bi-BL-algebras.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2011, 31, 2; 231-260
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Two constructions of De Morgan algebras and De Morgan quasirings
    Autorzy:
    Chajda, Ivan
    Eigenthaler, Günther
    Powiązania:
    https://bibliotekanauki.pl/articles/728752.pdf
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    De Morgan algebra
    De Morgan quasiring
    D-algebra
    interval algebra
    Boolean element
    Opis:
    De Morgan quasirings are connected to De Morgan algebras in the same way as Boolean rings are connected to Boolean algebras. The aim of the paper is to establish a common axiom system for both De Morgan quasirings and De Morgan algebras and to show how an interval of a De Morgan algebra (or De Morgan quasiring) can be viewed as a De Morgan algebra (or De Morgan quasiring, respectively).
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2009, 29, 2; 169-180
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Relation between (fuzzy) Gödel ideals and (fuzzy) Boolean ideals in BL-algebras
    Autorzy:
    Paad, Akbar
    Powiązania:
    https://bibliotekanauki.pl/articles/728828.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    BL-algebra
    (fuzzy) filter
    (fuzzy) Boolean ideal
    (fuzzy) Gödel ideal
    Opis:
    In this paper, we study relationships between among (fuzzy) Boolean ideals, (fuzzy) Gödel ideals, (fuzzy) implicative filters and (fuzzy) Boolean filters in BL-algebras. In [9], there is an example which shows that a Gödel ideal may not be a Boolean ideal, we show this example is not true and in the following we prove that the notions of (fuzzy) Gödel ideals and (fuzzy) Boolean ideals in BL-algebras coincide.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2016, 36, 1; 45-58
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Effect algebras and ring-like structures
    Autorzy:
    Beltrametti, Enrico
    Maczyński, Maciej
    Powiązania:
    https://bibliotekanauki.pl/articles/728948.pdf
    Data publikacji:
    2003
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    generalized Boolean quasiring
    effect algebra
    ring-like structure
    quantum logics
    axiomatic quantum mechanics
    state-supported probability
    symmetric difference
    Opis:
    The dichotomic physical quantities, also called propositions, can be naturally associated to maps of the set of states into the real interval [0,1]. We show that the structure of effect algebra associated to such maps can be represented by quasiring structures, which are a generalization of Boolean rings, in such a way that the ring operation of addition can be non-associative and the ring multiplication non-distributive with respect to addition. By some natural assumption on the effect algebra, the associativity of the ring addition implies the distributivity of the lattice structure corresponding to the effect algebra. This can be interpreted as another characterization of the classicality of the logical systems of propositions, independent of the characterizations by Bell-like inequalities.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2003, 23, 1; 63-79
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-10 z 10

      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