Partial predicates logics induced Kleene's three-valued logics - D. B. Buj; E. V. Shishatskaja; K. D. Mukhammed; F. Sanmejd (Artificial intelligence, 2015)