Warianty tytułu
On Dependences between Axioms in Boolean Algebras
Języki publikacji
Abstrakty
Algebra Boole'a jest jednym z podstawowych pojęć współczesnej matematyki. Występuje w logice, teorii miary, rachunku prawdopodobieństwa, statystyce oraz w wielu innych gałęziach wiedzy teoretycznej i zastosowań. Można je wprowadzić na wiele równoważnych sposobów. Ciekawa jest zależność między układami poszczególnych aksjomatów. Przeanalizowanie tych zagadnień jest celem niniejszego artykułu. (fragment tekstu)
The paper analyzes dependences between the axioms of Boolean algebras. In a set there are given two commutative, associative and idempotent operations. Both operations generate partial orders. The conditions under which the orders are identical have been examined. It has been shown that such identity is equivalent with absorption laws. An example has been given that without absorption laws distributiveness is not sufficient to secure the equivalence of orders. When the greatest or smallest elements in both orders coincide, then the orders are identical under the assumption of distributiveness. A problem has been formulated how to characterize sets with two commutative, associative, idempotent and mutually distributive operations. (original abstract)
Słowa kluczowe
Rocznik
Numer
Strony
89--96
Opis fizyczny
Twórcy
autor
Bibliografia
- Gonczarow S.S.: Sczetnyje bulewy algebry, Nowosybirsk: "Nauka" Sybirskoje oddelenie 1988.
- Kuratowski K., Mostowski A.: Teoria Mnogości, Warszawa: PWN 1978.
- Traczyk T.: Wstęp do teorii algebr Boole'a, Warszawa: PWN 1970.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ekon-element-000000001870