Displaying similar documents to “Compact Boolean algebras”

Sequential closedness of Boolean algebras of projections in Banach spaces

D. H. Fremlin, B. de Pagter, W. J. Ricker (2005)

Studia Mathematica

Similarity:

Complete and σ-complete Boolean algebras of projections acting in a Banach space were introduced by W. Bade in the 1950's. A basic fact is that every complete Boolean algebra of projections is necessarily a closed set for the strong operator topology. Here we address the analogous question for σ-complete Boolean algebras: are they always a sequentially closed set for the strong operator topology? For the atomic case the answer is shown to be affirmative. For the general case, we develop...

On Boolean modus ponens.

Sergiu Rudeanu (1998)

Mathware and Soft Computing

Similarity:

An abstract form of modus ponens in a Boolean algebra was suggested in [1]. In this paper we use the general theory of Boolean equations (see e.g. [2]) to obtain a further generalization. For a similar research on Boolean deduction theorems see [3].