Новая аксиоматизация логики Лукасевича с оператором Слупецкого

Авторы: Петрухин Я.И., Шангин В.О.
Сборник: Четырнадцатые Смирновские чтения по логике. Материалы международной научной конференции 19 – 21 июня 2025 г.
Редакторы: Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Маркин Владимир Ильич, Шалак Владимир Иванович
Год издания: 2025
Место издания: Издатель Воробьев А.В. Москва
Первая страница: 140
Последняя страница: 142
Аннотация: В статье предлагаются две новые модификации классической аксиоматики трёхзначной логики Лукасевича с операторомСлупецкого, каждая из которых лишена выявленных М. Радскимнедостатков ранее известных аксиоматизаций. Показано, что обе модификации непротиворечивы и полны.
Добавил в систему: Шангин Василий Олегович

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

ИСТИНА