The completeness problem on the product of algebras of finite-valued logic

Abstract

Gives a general completeness criterion for the arity-calibrated product P/sub k/xP/sub m/ of the algebras of all functions of the k-valued and m-valued logics (k,m/spl ges/2). The Galois connection between the lattice of subalgebras P/sub k/xP/sub m/ and the lattice of subalgebras of the double-base invariant relations algebra (with operations of restricted first order calculus) is established. This is used to obtain a Slupecki type criterion for P/sub k/xP/sub m/ and to solve the completeness problem in P/sub k/xP/sub m/ (m/spl ges/2).<>