Completeness theory for vector partial multiple-valued logic functions
Boris A. Romov · 2002
A general completeness criterion for the finite product /spl Pi/P(k/sub i/) of algebras P(k/sub i/) of all partial functions of k/sub i/-valued logic (k/sub i//spl ges/2, i=1,...n; n/spl ges/2) is considered and a Galois connection between the lattice of subalgebras of /spl Pi/P(k/sub i/) and the lattice of subalgebras of multiple-base invariant relations algebra (with operations of a restricted quantifier free calculus) is established. This is used to obtain the full description of all maximal subalgebras of /spl Pi/P(k/sub i/) and, thus, to solve the completeness problem in /spl Pi/P(k/sub i/).