|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Импликативно неявные базисы в импликативно замкнутых классах трехзначной логикистатья
- Автор: Марченков С.С.
- Сборник: Математические вопросы кибернеки
- Том: 21
- Год издания: 2023
- Место издания: Москва
- Первая страница: 156
- Последняя страница: 167
- Аннотация: Доказано, что при любом k > 2 любое импликативно неявное расширение в P_k содержит класс H_k однородных функций. В каждом из 17 импликативно замкнутых классов в P_3 построена импликативно неявно порождающая система функций. За исключением класса H_3, каждая из систем состоит из одной или двух не более чем двуместных функций. Указана одноместная функция, импликативно неявное расширение которой отлично от любого импликативно замкнутого класса в P_3.
- Добавил в систему: Марченков Сергей Серафимович