Базисы заданий логических систем пропозициональными исчислениями - доклад на конференции | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Автор: Боков Г.В.
Международная Конференция (Семинар (workshop)) : XIII Международный семинар "Дискретная математика и ее приложения"
Даты проведения конференции: 17-22 июня 2019
Дата доклада: 18 июня 2019
Тип доклада: Устный
Докладчик: не указан
Место проведения: Москва, Russia
Аннотация доклада:
В работе исследуются базисы заданий логических систем пропозициональными исчислениями. Доказано существование логических систем классических тавтологий имеющих базис сколь угодно большой конечной мощности и счётной мощности, не имеющих базиса, имеющих полную систему, из которой нельзя выделить базис.

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

ИСТИНА