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

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

Displaying similar documents to “Boolean matrices, subalgebras and automorphisms of complete Boolean algebras”

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