Об импликативно неявных расширениях в трехзначной логикестатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 5 июня 2024 г.
Аннотация:Охарактеризованы импликативно неявные расширения всех 27 одноместных функций трехзначной логики. Установлено, что среди них имеются как расширения, совпадающие с известными импликтивно замкнутыми классами, так и расширения, которые не замкнуты относительно операции суперпозиции. Кроме того, показано, что при любом k > 2 любое имликативно неявное расширение в P_k содержит класс всех однородных функций из P_k.