错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Implicatively Implicit Extensions in Three-Valued Logic

  • S. S. Marchenkov

摘要

Abstract

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\) .