Implicatively Implicit Extensions in Three-Valued Logic
Sergey Seraphimovich Marchenkov · Moscow University Computational Mathematics and Cybernetics · 2024
Implicatively implicit extensions of all 27 one-place functions of three-valued logic are characterized. It is found they include both extensions coinciding with known implicatively closed classes and extensions that are not closed with respect to the operation of superposition. It is also shown that any implicatively implicit extension in $$P_{k}$$ contains class $$H_{k}$$ of all homogeneous functions from $$P_{k}$$ for any $$k\geqslant 3$$ .