Implicatively Implicit Extensions in Three-Valued Logic
摘要
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