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-15 z 22
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł
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ł:
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ł:
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ł:
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 22

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