Positively closed classes of partial Boolean functions
Sergey Seraphimovich Marchenkov, Anastasia A. Popova · Moscow University Computational Mathematics and Cybernetics · 2008
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.