Results 121 to 130 of about 3,079 (232)

Boolean Partition Algebras

, 2013
A Boolean partition algebra is a pair $(B,F)$ where $B$ is a Boolean algebra and $F$ is a filter on the semilattice of partitions of $B$ where $\bigcup F=B\setminus\{0\}$.
Van Name, Joseph, Van Name, Joseph Anthony   +1 more
core  

On L∞κ-free Boolean algebras

, 1992
We study L∞κ-freeness in the variety of Boolean algebras. It is shown that some of the theorems on L∞κ-free algebras which are known to hold in varieties such as groups, abelian groups etc. are also true for Boolean algebras.
Fuchino, Sakaé, Koppelberg, Sabine, Takahashi, Makoto   +2 more
core   +1 more source

Rough operations on Boolean algebras

, 2004
In this paper, we introduce two pairs of rough operations on Boolean algebras. First we define a pair of rough approximations based on a partition of the unity of a Boolean algebra.
Weiru Liu, Guilin Qi
core  

The Boolean algebra of Galois algebras

International Journal of Mathematics and Mathematical Sciences, 2003
Let B be a Galois algebra with Galois group G, Jg={b∈B|bx=g(x)b for all x∈B} for each g∈G, and BJg=Beg for a central idempotent eg, Ba the Boolean algebra generated by {0,eg|g∈G}, e a nonzero element in Ba, and He={g∈G|eeg=e}.
George Szeto, Lianyong Xue
doaj   +1 more source

Measures on minimally generated Boolean algebras

, 2007
We investigate properties of minimally generated Boolean algebras. It is shown that all measures defined on such algebras are separable but not necessarily weakly uniformly regular.
Piotr Borodulin-Nadzieja, Borodulin-Nadzieja, Piotr   +1 more
core   +1 more source

Generalized XOR Operation and the Categorical Equivalence of the Abbott Algebras and Quantum Logics. [PDF]

Int J Theor Phys (Dordr), 2023
Burešová D.
europepmc   +1 more source

Subdirectly Irreducible and Semisimple Double Boolean Algebras

Double Boolean algebras are algebras of type (2, 2, 1, 1, 0, 0) introduced by Rudolf Wille to capture the equational theory of protoconcept algebras. A famous theorem of Birkhoff says that any variety is determined by its subdirectly irreducible members.
Temgoua Alomo, Etienne Romuald, Kwuida, Léonard   +1 more
core   +1 more source

Implicational classes of De Morgan Boolean algebras

, 2001
An abstract algebra 〈A,∧,∨,⊥,⊤,¬,∼〉 is called a De Morgan Boolean algebra if 〈A,∧,∨,⊥,⊤,¬〉 is a Boolean algebra and 〈A,∧,∨,∼〉 is a De Morgan lattice.
P. Pynko, Alexej, Alexej P. Pynko
core   +1 more source

Merging Intuitionistic and De Morgan Logics

Mathematics
We introduce De Morgan Heyting logic for Heyting algebras with De Morgan negation (DH-algebras). The variety DH of all DH-algebras is congruence distributive. The lattice of all subvarieties of DH is distributive.
Minghui Ma, Juntong Guo
doaj   +1 more source

The Extension of an Arbitrary Boolean Algebra to an Implicative Boolean Algebra [PDF]

Proceedings of the American Mathematical Society, 1953
Copeland, Arthur H. sen., Harary, Frank
openaire   +2 more sources