Results 201 to 210 of about 3,079 (232)

A Representation for Boolean Algebras

American Journal of Mathematics, 1951
1. The content. The success of Stone [5] in representing Boolean algebras by fields of sets leads one to search for other representations. (See also [2, p. 159], [4].) Using splitting endomorphisms on a type of Abelian group with an order relation, we are led to a faithful representation of a given Boolean algebra B. The group employed will be called a
openaire   +2 more sources

Hierarchies of Boolean algebras

Journal of Symbolic Logic, 1970
A denumerable structure is said to be recursive iff its universe is a recursive subset of the natural numbers and its relations and operations are recursive. For example, the standard model of number theory is recursive. A structure is said to be recursively presentable iff it is isomorphic to a recursive structure.
openaire   +1 more source

Robbins algebra: Conditions that make a near-boolean algebra boolean

Journal of Automated Reasoning, 1990
Some problems posed years ago remain challenging today. In particular, the Robbins problem, which is still open and which is the focus of attention in this paper, offers interesting challenges for attack with the assistance of an automated reasoning program; for the study presented here, we used the program OTTER.
openaire   +1 more source

Parallel Processing in Boolean Algebra

IEEE Transactions on Computers, 1972
A processor called Boolean analyzer has been presented at the 1968 IFIP Congress to introduce parallel processing of Boolean expressions [1]. The present paper shows how to increase its speed many times by making its processing more parallel. The applications of the Boolean analyzer are limited to few but important problems.
openaire   +1 more source

Postulates for Boolean Algebras and Generalized Boolean Algebras

American Journal of Mathematics, 1935
openaire   +1 more source

Closure Algebras and Boolean Algebras

Mathematical Logic Quarterly, 1977
openaire   +1 more source

Gauge-invariant ideals of C⁎-algebras of Boolean dynamical systems

Journal of Mathematical Analysis and Applications, 2020
Toke Meier Carlsen, Eun Ji Kang
exaly  

$$C^*$$-algebras of generalized Boolean dynamical systems as partial crossed products

Journal of Algebraic Combinatorics, 2022
Gilles G De Castro, Eun Ji Kang
exaly  

A Characterization of Boolean Algebras

The Annals of Mathematics, 1939
Birkhoff, Garrett, Ward, Morgan
openaire   +2 more sources

The Boolean Algebra of Predicates

Mathematical Logic Quarterly, 1980
openaire   +2 more sources