Ви є тут

О критериях полноты по неявной выразимости в трехзначной логике