Критерий полноты относительно оператора замыкания по перечислению в трехзначной логике

Авторы: Марченков С.С., Простов В.А.
Журнал: Дискретная математика
Том: 33
Номер: 2
Год издания: 2021
Издательство: ФГБУ "Издательство "Наука"
Местоположение издательства: Москва
Первая страница: 86
Последняя страница: 99
Аннотация: На множестве P_k функций k-значной логики рассматривается оператор замыкания по перечислению (П-оператор). Доказано, что при любом k > 1 любой позитивно предполный класс в P_k является также П-предполным. Установлено, что в трехзначной логике других П-предполных классов не существует.
Добавил в систему: Марченков Сергей Серафимович

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ИНХС РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА