On decidability of one class of boolean formulas
Ž. Mijajlović (1974)
Matematički Vesnik
Similarity:
Displaying similar documents to “Boolean functions represented by random formulas”
On decidability of one class of boolean formulas
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].
Formulas of the general solutions of Boolean equations.
Banković, Dragić (1988)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Notes on unique solutions of boolean equations
D. Banković (1987)
Matematički Vesnik
Similarity:
On proper subuniverses of a boolean algebra
Wroński, Stanisław (2015-10-26T10:14:52Z)
Acta Universitatis Lodziensis. Folia Mathematica
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.
The notion of an elementary subsystem for a Boolean-valued relational system
L. Szczerba (1973)
Fundamenta Mathematicae
Similarity:
Separation properties and Boolean powers
Steven Garavaglia, J. M. Plotkin (1984)
Colloquium Mathematicae
Similarity:
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:
Triangular solutions of Boolean equations.
Banković, Dragić (1998)
Novi Sad Journal of Mathematics
Similarity: