Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika

Complete Systems of Monadic Predicates for Post Classes / S. V. Bykovskaya. // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 2016. № 4. P. 33-38 [Moscow Univ. Math. Bulletin. Vol. 72, N 2, 2017. P. 161-165].

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.

№ 4/2016

$General information on the journal$	$Editorial Board$	$History of the journal$	$HOME$
$Contents (1997-2001)$	$How to submit a manuscript?$	$Русская версия$	$HOME$