Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: weakly dicomplemented lattices

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Prime ideal theorem for double Boolean algebras

100%

Kwuida L.

Discussiones Mathematicae - General Algebra and Applications

2007

tom 27

nr 2

263-275

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).

Ograniczanie wyników

1 Discussiones Mathematicae - General Algebra and Applications

1 Kwuida L.

1 2007

Wyniki wyszukiwania

Prime ideal theorem for double Boolean algebras