Implicit Expressibility in Multiple-Valued Logic
Sergey Seraphimovich Marchenkov · Moscow University Computational Mathematics and Cybernetics · 2022
Generalizations of A.V. Kuznetsov’s implicit expressibility are considered for when additional logical connectives are introduced into the language of implicit expressibility. It is established that only three new implicit expressibility form as a result. Implicit extensions generated by all four implicit expressibilities are investigated, and it is shown they all differ on sets $$P_{2}$$ or $$P_{3}$$ .