The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “A solution of Dedekind's problem on the number of isotone Boolean functions.”

A characterization of complete atomic Boolean algebra.

Francesc Esteva (1977)

Stochastica

Similarity:

In this note we give a characterization of complete atomic Boolean algebras by means of complete atomic lattices. We find that unicity of the representation of the maximum as union of atoms and Lambda-infinite distributivity law are necessary and sufficient conditions for the lattice to be a complete atomic Boolean algebra.

Boolean powers

P. Ribenboin (1969)

Fundamenta Mathematicae

Similarity:

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