On set-valued non-Boolean functions.

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

Separation properties and Boolean powers

Steven Garavaglia, J. M. Plotkin (1984)

Colloquium Mathematicae

Similarity:

Triangular solutions of Boolean equations.

Banković, Dragić (1998)

Novi Sad Journal of Mathematics

Similarity:

On reproductive solutions of Boolean equations.

S. Rudeanu (1970)

Publications de l'Institut Mathématique [Elektronische Ressource]

Similarity:

All General Reproductive Solutions of Boolean Equations

Dragić Banković (1989)

Publications de l'Institut Mathématique

Similarity:

A new proof for the multiplicative property of the boolean cumulants with applications to the operator-valued case

Mihai Popa (2009)

Colloquium Mathematicae

Similarity:

The paper presents several combinatorial properties of the boolean cumulants. A consequence is a new proof of the multiplicative property of the boolean cumulant series that can be easily adapted to the case of boolean independence with amalgamation over an algebra.

On a hierarchy of Boolean functions hard to compute in constant depth.

Bernasconi, Anna (2001)

Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]

Similarity:

Large Subalgebras of a Boolean Algebra

Slobodan Vujošević (1989)

Publications de l'Institut Mathématique

Similarity: