Статья в сборнике "Математические вопросы кибернетики" №21, Москва, 2023
Авторы:Марченков С.С.
Импликативно неявные базисы в импликативно замкнутых классах трехзначной логики
Аннотация:
Доказано, что при любом k ≥ 3 любое импликативно неявное расширение в Pk содержит класс Hk однородных функций. В каждом из 17 импликативно замкнутых классов в P3 построена импликативно неявно порождающая система функций. За исключением класса H3, каждая из систем состоит из одной или двух не более чем двуместных функций. Указана одноместная функция, импликативно неявное расширение которой отлично от любого импликативно замкнутого класса в P3.
