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: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-28 z 28
    Tytuł:
    The integral in a Boolean algebra
    Autorzy:
    Sikorski, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/969397.pdf
    Data publikacji:
    1949
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Źródło:
    Colloquium Mathematicum; 1949-1950, 2, 1; 20-26
    0010-1354
    Pojawia się w:
    Colloquium Mathematicum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Boolean Algebra of One-Point Local Compactifications
    Autorzy:
    Polański, Artur
    Powiązania:
    https://bibliotekanauki.pl/articles/1818646.pdf
    Data publikacji:
    2020
    Wydawca:
    Politechnika Rzeszowska im. Ignacego Łukasiewicza. Oficyna Wydawnicza
    Tematy:
    local
    compactification
    boolean
    algebra
    ends
    algebra Boole'a
    kompaktowanie
    przestrzeń Hausdorffa
    Opis:
    For a given locally compact Hausdorff space we introduce a Boolean algebra structure on the family of all its one-point local compactifications.
    Źródło:
    Journal of Mathematics and Applications; 2020, 43; 113--121
    1733-6775
    2300-9926
    Pojawia się w:
    Journal of Mathematics and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A rigid Boolean algebra that admits the elimination of Q21
    Autorzy:
    Mildenberg, H.
    Powiązania:
    https://bibliotekanauki.pl/articles/1208667.pdf
    Data publikacji:
    1993
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Opis:
    Using ♢ , we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier $Q_1^2$.
    Źródło:
    Fundamenta Mathematicae; 1993, 142, 1; 1-18
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On proper subuniverses of a boolean algebra
    О podalgebrach algebry Boole’a
    Autorzy:
    Wroński, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/44721098.pdf
    Data publikacji:
    1997
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Opis:
    Let \( \mathbf{B} \) be a boolean algebra with the universe \( B \) and let \( F_1 \), \( F_2 \) be distinct ultrafilters of \( \mathbf{B} \). Then the set of the form \( \{ x \in B : F_1 \cap F_2 \cap \{x, \neg x \} \ne \emptyset \} \) is a maximal proper subuniverse of \( \mathbf{B} \) which we shall call a basic subuniverse. We prove that every proper subuniverse of \( \mathbf{B} \) is an intersection of a family of basic subuniverses. This implies that basic subuniverses are precisely maximal proper subuniverses of a boolean algebra. The same fact proved in another way can be found in [3].
    Niech \( \mathbf{B} \) będzie algebrą Boole'a z uniwersum \( B \) i niech \( F_1 \), \( F_2 \) będą różnymi ultrafiltrami \( \mathbf{B} \). Wówczas zbiór postaci \( \{ x \in B : F_1 \cap F_2 \cap \{ x, \neg x \} \ne \emptyset \} \) jest maksymalną podalgebrą \( \mathbf{B} \) którą nazywać będziemy podalgebrą bazową. Udowodnimy, że każda właściwa podalgebra \( \mathbf{B} \) jest iloczynem rodziny podalgebr bazowych. Pozwala to stwierdzić, że podalgebry bazowe są wszystkimi podalgebrami maksymalnymi algebry Boole'a. Ten sam fakt jakkolwiek dowiedziony w inny sposób można znaleźć w [3].
    Źródło:
    Acta Universitatis Lodziensis. Folia Mathematica; 1997, 9; 69-75
    2450-7652
    Pojawia się w:
    Acta Universitatis Lodziensis. Folia Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The application of Boolean algebra in modelling of leakage condition of a car hydraulic braking system
    Autorzy:
    Idzikowski, A.
    Salamon, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/265849.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    układ hamulcowy
    układ hydrauliczny
    wyciek
    algebra Boole'a
    modelowanie
    braking system
    hydraulic circuit
    leakage
    Boolean algebra
    modelling
    Opis:
    A general characteristics of a car hydraulic braking system (CHBS) is presented in this publication. A graphical model of properties-component objects is developed for the above-mentioned system. Moreover, four mathematical models in terms of logic, the set theory and the Boolean algebra of Boolean functions are developed. The examination is ended with a general model of the CHBS for n - Boolean variables and the construction and mathematical-technical interpretation of this model is presented.
    Źródło:
    International Journal of Applied Mechanics and Engineering; 2013, 18, 2; 353-363
    1734-4492
    2353-9003
    Pojawia się w:
    International Journal of Applied Mechanics and Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The sequential topology on complete Boolean algebras
    Autorzy:
    Główczyński, Wiesław
    Balcar, Bohuslav
    Jech, Thomas
    Powiązania:
    https://bibliotekanauki.pl/articles/1205404.pdf
    Data publikacji:
    1998
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    complete Boolean algebra
    sequential topology
    Maharam submeasure
    sequential cardinal
    Opis:
    We investigate the sequential topology $τ_{s}$ on a complete Boolean algebra B determined by algebraically convergent sequences in B. We show the role of weak distributivity of B in separation axioms for the sequential topology. The main result is that a necessary and sufficient condition for B to carry a strictly positive Maharam submeasure is that B is ccc and that the space $(B,τ_{s})$ is Hausdorff. We also characterize sequential cardinals.
    Źródło:
    Fundamenta Mathematicae; 1998, 155, 1; 59-78
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    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ł:
    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ł:
    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ł:
    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ł:
    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ł:
    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ł:
    Synthesis of FSMs Based on Architectural Decomposition with Joined Multiple Encoding
    Autorzy:
    Bukowiec, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/227248.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Boolean algebra
    circuit synthesis
    field programmable gate array (FPGA)
    sequential circuits
    Opis:
    The method of synthesis of the logic circuit of finite state machine (FSM) with Mealy's outputs is proposed in this paper. Proposed method is based on the innovate encoding of microinstructions split into subsets. Code of microinstruction is represented as a part of current state code and code of microinstruction inside of current subset. It leads to realization of FSM as s double-level structure. It leads to diminishing of number of variables required for encoding of microinstructions. Such approach permits to decrease the number of required outputs of combinational part of FSM.
    Źródło:
    International Journal of Electronics and Telecommunications; 2012, 58, 1; 35-41
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zaniedbana algebra a nauczanie informatyki
    Neglected Algebra and Informatics Teaching
    Autorzy:
    PIECUCH, ALEKSANDER
    Powiązania:
    https://bibliotekanauki.pl/articles/455384.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Rzeszowski
    Tematy:
    logika
    algebra Boole‟a
    nauczanie informatyki
    programowanie
    logic
    Boolean algebra
    informatics teaching
    programming
    Opis:
    Artykuł podejmuje próbę zwrócenia uwagi na zagadnienia związane z nauczaniem logiki w ramach przedmiotu informatyka. Jeszcze początkiem lat 80. XX w. była ona obecna w programach nauczania. W świetle zapowiadanych przez Ministerstwo Edukacji Narodowej reform związanych z kształceniem informatycznym zagadnienia logiki nabierają szczególnego znaczenia. Nauczanie programowania sprofilowanego na np. programowanie robotów, względnie innych platform programowalnych, bez znajomości algebry Boole‟a nie będzie dobrym rozwiązaniem z punktu widzenia kompetencji uczniów.
    The article attempts to draw attention to issues related to the teaching of logic within the subject of computer science. Even in the early 1980s, it was present in the curriculum. In light of the IT reforms announced by MEN, logic issues are of particular importance. Teaching programming such as programming robots or other programming platforms without the knowledge of Boole algebra will not be a good solution for students competence.
    Źródło:
    Edukacja-Technika-Informatyka; 2017, 8, 3; 288-294
    2080-9069
    Pojawia się w:
    Edukacja-Technika-Informatyka
    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ł
    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ł:
    Modelowanie dynamiki obserwacji procesów nieszczelności podsystemów HSUH o dwóch komorach w pompie hamulcowej
    Modeling of the dynamics of observation of leakage processes in HUSH subsystems with two chambers in the master cylinder
    Autorzy:
    Salamon, Szymon
    Powiązania:
    https://bibliotekanauki.pl/articles/2200315.pdf
    Data publikacji:
    2022
    Wydawca:
    Stowarzyszenie Menedżerów Jakości i Produkcji
    Tematy:
    pojazd samochodowy
    układ hamulcowy
    strukturalizacja badania szczelności
    algebra Boole'a
    motor vehicle
    braking system
    structuring of leak testing
    Boolean algebra
    Opis:
    Układy hamulcowe współczesnych pojazdów samochodowych są systemami technicznymi o rozbudowanej strukturze konstrukcyjnej i funkcjonalnej. Układy te muszą charakteryzować się podstawowym wymaganiem jakim jest szczelność tego systemu. Badanie szczelności rozproszonej konstrukcyjnie zamkniętej przestrzeni roboczej (a taką konstrukcją jest układ hamulcowy pojazdu samochodowego) jest poważnym wyzwaniem dla diagnostyki stanu technicznego tego systemu. W naturalny sposób ujawnia się potrzeba optymalizacji (strukturalizacji) procesu diagnozowania w szczególności jego szczelności. Autor w niniejszym artykule prezentuje podejście do tego zagadnienia w świetle algebry Boole’a. Podejście to przedstawiono na przykładzie samochodowego hydraulicznego układu hamulcowego dwuobwodowego, posiadającego obwód hamowania kół przednich i tylnych.
    Braking systems of modern motor vehicles are technical systems with an extensive structural and functional structure. These systems must be characterized by the basic requirement which is the tightness of the system. Testing the tightness of a dispersed constructionally closed working space (and such a structure is the braking system of a motor vehicle) is a serious challenge for the diagnosis of the technical condition of this system. The need to optimize (structurize) the diagnosis process, in particular its tightness, appears naturally. In this article, the author presents an approach to this issue in the light of Boolean algebra. This approach is illustrated by the example of an automotive hydraulic dual circuit braking system having front and rear wheel braking circuits.
    Źródło:
    Archiwum Wiedzy Inżynierskiej; 2022, 7, 1; 17--20
    2544-2449
    Pojawia się w:
    Archiwum Wiedzy Inżynierskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Conception of partial specification of logic controller deterministic state machine
    Koncepcja niepełnej specyfikacji deterministycznej maszyny stanów sterownika logicznego
    Autorzy:
    Łabiak, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/156340.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    deterministyczna maszyna stanów
    diagramy statechart
    sterownik logiczny
    konflikty tranzycji
    predykaty
    algebra Boole'a
    deterministic state machine
    statechart diagrams
    logic controller
    transition conflicts
    predicates
    Boolean algebra
    symbolic methods
    metody symboliczne
    Opis:
    Zagadnienie stworzenia deterministycznego opisu zachowania sterownika logicznego (bez konfliktów między tranzycjami) opisanego diagramami statecharts [2, 9] jest zagadnieniem o złożoności problemu spełnialności i jego rozwiązanie poprzez "ręczne" konstrukcje predykatów tranzycji może być dla projektanta bardzo trudne o ile w ogóle możliwe. Referat skupia się na problemie automatycznego doboru predykatów tranzycji w warunkach niepełnej specyfikacji, tak aby maszyna stanów [2, 9] (diagram statechart, rys. 3a) modelowała zachowanie w sposób deterministyczny. W proponowanej metodzie projektant podaje najistotniejsze zdarzenia warunkujące przejścia, a system CAD automatycznie rozwiązuje konflikty tranzycji niepełnej specyfikacji. Podstawową koncepcją automatycznego rozwiązywania konfliktów tranzycji jest utworzenie własnego zestawu wszystkich zmiennych dla każdej tranzycji osobno (podrozdz. 4.1). Nowo utworzone zmienne wyznaczają bazę symbolicznej przestrzeni wektorowej, w której można przestawić wszystkie możliwe predykaty (podrozdz. 4.2). W przestrzeni symbolicznej w łatwy sposób można opisać wyrażeniem logicznym zbiór wszystkich predykatów ortogonalnych oraz zbiory odpaleń wynikające z niepełnej specyfikacji (podrozdz. 4.3). Iloczyn w przestrzeni symbolicznej zbiorów predykatów ortogonalnych i zbiorów odpaleń wyznacza zbiór zestawów ortogonalnych predykatów wynikających z częściowej specyfikacji (podrozdz. 4.4). Wszystkie operacja na zbiorach wykonywane są jako logiczne przekształcenia odpowiednich funkcji charakterystycznych, które efektywnie mogą być implementowane za pomocą binarnych diagramów decyzyjnych [7].
    The issue of creating a deterministic behaviour description (without conflicts between transitions) of a logic controller is an issue of computational complexity equal to a classic satisfiability problem. Its solution through by-hand transition predicates construction can be very painstaking and tedious, if possible at all. The paper focuses on automatic transition predicates construction where transition predicates are partially specified by a designer giving only the most essential information necessary to comprehend the controller behaviour. This partial specification causes that a state machine (statechart diagram) is nondeterministic (and hence cannot be technically implemented) and the CAD system task is to transform automatically this partial specification into a corresponding deterministic form.
    Źródło:
    Pomiary Automatyka Kontrola; 2012, R. 58, nr 1, 1; 76-79
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Algebra pojęć deontycznych
    Algebra of Deontic Notions
    Autorzy:
    Nieznański, Edward
    Powiązania:
    https://bibliotekanauki.pl/articles/2013199.pdf
    Data publikacji:
    2020-09-03
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    pojęcia deontyczne
    modalności deontyczne
    związek pojęć deontycznych z wartościami moralnymi
    algebra zbiorów
    algebra Boole’a
    deontic notions
    deontic modalities
    connection of deontic concepts with the moral values
    algebra of sets
    the Boolean algebra
    Opis:
    Leibniz suggested that deontic modalities can be defined in terms of the alethic modalities; according to him, the permitted (licitum) is what possible for a good man to do and the obligatory (debitum) is what is necessary for a good man to do. The paper starts from specifying a connection of deontic concepts with the moral values. The connection comes down to define an isomorphism of two Boolean algebras: from deontic one onto axiological one. The work presents theories of two algebras of deontic notions: the algebra of sets and the Boolean algebra. The theory of deontic set is based on the two axioms: xÎV (an act x is an element of the set of acts subordinated to some norm or law) and x''=x (an act x is identical with double denial of x). By means of definitions following notions are introduced: Λ (the empty set of acts), N (the set of ordered acts), Z (the set of forbidden acts), P (the set of obligatory acts), F (the set of optional acts), D (the set of permitted acts), I (the set of indifferent acts).The calculus is structured by rules of the Słupecki-Borkowski’s suppositional deduction. Forty five theorems are proven in this calculus. The second theory presented in the paper, is a Boolean algebra of deontic notions. Added to the theory of equality, it takes axioms from the theory of Boolean algebras with addition of a specific axiom for the deontic system i.e., N = N∩D. Sixty four theorems are proven in this calculus.
    Źródło:
    Roczniki Filozoficzne; 2008, 56, 1; 239-251
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    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ł
    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ł
    Tytuł:
    On what I do not understand (and have something to say): Part I
    Autorzy:
    Shelah, Saharon
    Powiązania:
    https://bibliotekanauki.pl/articles/1204995.pdf
    Data publikacji:
    2000
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    set theory
    cardinal arithmetic
    pcf theory
    forcing
    iterated forcing
    large continuum
    nep
    nicely definable forcing
    combinatorial set theory
    Boolean algebras
    set-theoretic algebra
    partition calculus
    Ramsey theory
    Opis:
    This is a non-standard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried to solve them, and sometimes with failed tries, anecdotes and opinions. So the discussion is quite personal, in other words, egocentric and somewhat accidental. As we discuss many problems, history and side references are erratic, usually kept to a minimum ("see ..." means: see the references there and possibly the paper itself). The base were lectures in Rutgers, Fall '97, and reflect my knowledge then. The other half, [122], concentrating on model theory, will subsequently appear. I thank Andreas Blass and Andrzej Rosłanowski for many helpful comments.
    Źródło:
    Fundamenta Mathematicae; 2000, 166, 1-2; 1-82
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-28 z 28

      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