Moscow University Computational Mathematics and Cybernetics · 2008 · 11 citations · 2 references
Natural SciencesConstitutional LawSet TheoryBoolean AlgebraBoolean OperationsDigital Logic DesignBoolean Algebra Of SetsBoolean Function MinimizationBoolean Function RepresentationBoolean FunctionsBoolean Lattices
Classes of partial Boolean functions closed with respect to the positive closure operator are considered. All ten classes of this type are determined, of which three classes are positively precomplete. In each of the positively closed classes, a positive basis is established.
2