Some Remarks On Boolean Terms - Model Theoretic Approach
Žarko Mijajlović (1977)
Publications de l'Institut Mathématique
Similarity:
Displaying similar documents to “An approximation of the κ-function for the study of binary images.”
Some Remarks On Boolean Terms - Model Theoretic Approach
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:
Boolean functions represented by random formulas
Petr Savický (1987)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
An axiomatic characterization of Boolean-valued models for set theory
A. Kościelski (1973)
Colloquium 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].
The notion of an elementary subsystem for a Boolean-valued relational system
L. Szczerba (1973)
Fundamenta Mathematicae
Similarity:
The general reproductive solution of Boolean equation.
Banković, Dragić (1983)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Boolean localization, in practice.
Jardine, J.F. (1996)
Documenta Mathematica
Similarity: