Abstract:
The problem of completeness of arbitrary systems of monadic predicates defined on finite sets
is considered. Completeness criteria are obtained for an arbitrary system of monadic predicates over
arbitrary set of Boolean functions.
Key words:monadic predicates, closure of system of predicates over closed classes of Boolean functions, completeness of system of predicates.
Fulltext:
PDF file (321 kB)