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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-15 z 15
    Tytuł:
    Congruence classes in Brouwerian semilattices
    Autorzy:
    Chajda, Ivan
    Länger, Helmut
    Powiązania:
    https://bibliotekanauki.pl/articles/729047.pdf
    Data publikacji:
    2001
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    congruence class
    Brouwerian semilattice
    ideal
    Opis:
    Brouwerian semilattices are meet-semilattices with 1 in which every element a has a relative pseudocomplement with respect to every element b, i. e. a greatest element c with a∧c ≤ b. Properties of classes of reflexive and compatible binary relations, especially of congruences of such algebras are described and an abstract characterization of congruence classes via ideals is obtained.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 229-237
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Congruences on pseudocomplemented semilattices
    Autorzy:
    Heleyová, Zuzana
    Powiązania:
    https://bibliotekanauki.pl/articles/728824.pdf
    Data publikacji:
    2000
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    pseudocomplemented semilattice
    congruence lattice
    p-algebra
    Stone algebra
    (relative) (Lₙ)-lattice
    Opis:
    It is known that congruence lattices of pseudocomplemented semilattices are pseudocomplemented [4]. Many interesting properties of congruences on pseudocomplemented semilattices were described by Sankappanavar in [4], [5], [6]. Except for other results he described congruence distributive pseudocomplemented semilattices [6] and he characterized pseudocomplemented semilattices whose congruence lattices are Stone, i.e. belong to the variety B₁ [5].
    In this paper we give a partial solution to a more general question: Under what condition on a pseudocomplemented semilattice its congruence lattice is element of the variety Bₙ (n ≥ 2)?
    In the last section we widen the Sankappanavar's result to obtain the description of pseudocomplemented semilattices with relative Stone congruence lattices. A partial solution of the description of pseudocomplemented semilattices with relative (Lₙ)-congruence lattices (n ≥ 2) is also given.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 2; 219-231
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    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ł:
    Finite atomistic lattices that can be represented as lattices of quasivarieties
    Autorzy:
    Adaricheva, K.
    Dziobiak, Wiesław
    Gorbunov, V.
    Powiązania:
    https://bibliotekanauki.pl/articles/1208668.pdf
    Data publikacji:
    1993
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    atomistic lattice
    quasivariety
    Mal'cev problem
    equa-closure operator
    semilattice
    Opis:
    We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11].
    Źródło:
    Fundamenta Mathematicae; 1993, 142, 1; 19-43
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On an episode in academic contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz
    O pewnym epizodzie w kontaktach naukowych Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem
    Autorzy:
    Zygmunt, Jan
    Powiązania:
    https://bibliotekanauki.pl/articles/2097360.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    semilattice
    formal ontology of situations
    algebraic logic
    history of Polish logic
    Bogusław Wolniewicz
    półkrata
    formalna ontologia sytuacji
    logika algebraiczna
    historia logiki polskiej
    Opis:
    W eseju przedstawione zostały wybrane kontakty naukowe Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem w okresie od końca lat osiemdziesiątych XX w. do początku XXI w. Kontakty dotyczyły algebraicznych aspektów ontologii sytuacji, a od pewnego momentu – jednego tylko pytania sformułowanego w nocie A question about join-semilattices (Wolniewicz 1990). Esej streszcza dyskusję naukową między B. Wolniewiczem a J. Hawrankiem i J. Zygmuntem, w rezultacie której powstał artykuł Wokół pewnego zagadnienia z dziedziny półkrat górnych z jednością (Hawranek, Zygmunt 1993), zawierający próbę odpowiedzi na pytanie Wolniewicza. Artykuł Hawranka i Zygmunta jest niżej przedrukowany, a niniejszy esej jest też pomyślany jako wstęp historyczno-analityczny do jego lektury. Historia kontaktów: Wolniewicz – Hawranek & Zygmunt została ukazana za pomocą zachowanej korespondencji, która jest dość obficie cytowana. W listach Profesor Wolniewicz jawi się jako badacz-pasjonat, otwarty na dyskusję, gotowy do dzielenia się z innymi swoimi trudnościami i sukcesami badawczymi.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2018, 3; 149-162
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On distributive trices
    Autorzy:
    Horiuchi, Kiyomitsu
    Tepavčević, Andreja
    Powiązania:
    https://bibliotekanauki.pl/articles/728794.pdf
    Data publikacji:
    2001
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    triple semilattice
    trice
    distributive trice
    Opis:
    A triple-semilattice is an algebra with three binary operations, which is a semilattice in respect of each of them. A trice is a triple-semilattice, satisfying so called roundabout absorption laws. In this paper we investigate distributive trices. We prove that the only subdirectly irreducible distributive trices are the trivial one and a two element one. We also discuss finitely generated free distributive trices and prove that a free distributive trice with two generators has 18 elements.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 1; 21-29
    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ł
    Tytuł:
    On Semilattice-based Logics with an Algebraizable Assertional Companion
    Autorzy:
    Font, Josep Maria
    Powiązania:
    https://bibliotekanauki.pl/articles/1368456.pdf
    Data publikacji:
    2011
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Tematy:
    semilattice-based logics
    assertional logic
    frege hierarchy
    Opis:
    This paper studies some properties of the so-called semilattice-based logics (which are defined in a standard way using only the order relation from a variety of algebras that have a semilattice reduct with maximum) under the assumption that its companion assertional logic (defined from the same variety of algebras using the top element as representing truth) is algebraizable. This describes a very common situation, and the conclusion of the paper is that these semilattice-based logics exhibit some of the good behaviour of protoalgebraic logics, without being necessarily so. The main result is that all these logics have enough Leibniz filters, a fact previously known in the literature to occur only for protoalgebraic logics. Another significant result is that the two companion logics coincide if and only if one of them enjoys the characteristic property of the other, that is, if and only if the semilattice-based logic is algebraizable, and if and only if its assertional companion is selfextensional. When these conditions are met, then the (unique) logic is finitely, regularly and strongly algebraizable and fully Fregean; this places it at some of the highest ranks in both the Leibniz hierarchy and the Frege hierarchy.
    Źródło:
    Reports on Mathematical Logic; 2011, 46; 109-132
    0137-2904
    2084-2589
    Pojawia się w:
    Reports on Mathematical Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On unique factorization semilattices
    Autorzy:
    Silva, Pedro
    Powiązania:
    https://bibliotekanauki.pl/articles/728874.pdf
    Data publikacji:
    2000
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    semilattice
    factorization
    principal ideal
    semilattice embedding
    Munn semigroup
    Opis:
    The class of unique factorization semilattices (UFSs) contains important examples of semilattices such as free semilattices and the semilattices of idempotents of free inverse monoids. Their structural properties allow an efficient study, among other things, of their principal ideals. A general construction of UFSs from arbitrary posets is presented and some categorical properties are derived. The problem of embedding arbitrary semilattices into UFSs is considered and complete characterizations are obtained for particular classes of semilattices. The study of the Munn semigroup for regular UFSs is developed and a complete characterization is accomplished with respect to being E-unitary.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 1; 97-120
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pseudo-BCH Semilattices
    Autorzy:
    Walendziak, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/750036.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    (pseudo-)BCK/BCI/BCH algebra
    pseudo-BCH join (meet)-semilattice
    weakly regular
    arithmetical at 1
    Opis:
    In this paper we study pseudo-BCH algebras which are semilattices or lattices with respect to the natural relations ≤; we call them pseudo-BCH join-semilattices, pseudo-BCH meet-semilattices and pseudo-BCH lattices, respectively. We prove that the class of all pseudo-BCH join-semilattices is a variety and show that it is weakly regular, arithmetical at 1, and congruence distributive. In addition, we obtain the systems of identities defininig pseudo-BCH meet-semilattices and pseudo-BCH lattices.
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 2
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Quasi-implication algebras
    Autorzy:
    Chajda, Ivan
    Dušek, Kamil
    Powiązania:
    https://bibliotekanauki.pl/articles/729013.pdf
    Data publikacji:
    2002
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    implication
    non-involutory negation
    quasi-implication algebra
    implitcation algebra
    pseudocomplemented semilattice
    q-semilattice
    Opis:
    A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having non-involutory negation (e.g. intuitionistic logic). We show that every pseudocomplemented semilattice induces a quasi-implication algebra (but not conversely). On the other hand, a more general algebra, a so-called pseudocomplemented q-semilattice is introduced and a mutual correspondence between this algebra and a quasi-implication algebra is shown.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2002, 22, 2; 183-198
    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ł:
    Semilattices with sectional mappings
    Autorzy:
    Chajda, Ivan
    Eigenthaler, Günther
    Powiązania:
    https://bibliotekanauki.pl/articles/729127.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    semilattice
    sectional mapping
    antitone mapping
    switching mapping
    involution
    Opis:
    We consider join-semilattices with 1 where for every element p a mapping on the interval [p,1] is defined; these mappings are called sectional mappings and such structures are called semilattices with sectional mappings. We assign to every semilattice with sectional mappings a binary operation which enables us to classify the cases where the sectional mappings are involutions and / or antitone mappings. The paper generalizes results of [3] and [4], and there are also some connections to [1].
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 1; 11-19
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Some comments on a question about semilattices with a unit
    Wokół pewnego zagadnienia z dziedziny półkrat górnych z jednością
    Autorzy:
    Hawranek, Jacek
    Zygmunt, Jan
    Powiązania:
    https://bibliotekanauki.pl/articles/2097443.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    join-semilattice
    minimal element
    B. Wolniewicz’s question
    formal ontology of situations
    topological space
    dense set
    Boolean algebra
    filter
    consequence operation
    independent set
    półkrata górna
    element minimalny
    pytanie B. Wolniewicza
    formalna ontologia sytuacji
    przestrzeń topologiczna
    zbiór gęsty
    algebra Boole’a
    filtr
    operacja konsekwencji
    zbiór niezależny
    Opis:
    Artykuł w całości poświęcony jest rozważaniom nad pytaniem Bogusława Wolniewicza postawionym w jego nocie A question about join-semilattices („Bulletin of the Section of Logic” 1990, T. 19, nr 3). Część pierwsza artykułu dotyczy oryginalnego sformułowania tego pytania, w którym chodzi o podanie warunków dostatecznych na to, by w pewnej określonej rodzinie BM podzbiorów półkraty górnej z jednością istniały elementy minimalne. W kolejnych czterech częściach pytanie roztrząsane jest w odniesieniu do innych analogicznych rodzin zbiorów, których elementami są: dowolne zbiory (abstrakcyjne), zbiory gęste w przestrzeni topologicznej; filtry w algebrze Boole’a oraz zbiory domknięte względem operacji konsekwencji.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2018, 3; 163-174
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-15 z 15

      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