Погружение традиционной негативной силлогистики в монадическую теорию

Автор: Красненкова Анастасия Владимировна
Сборник: Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
Редакторы: Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
Серия: Смирновские чтения по логике
Тезисы
Год издания: 2015
Издательство: Изд-во Моск. ун-та
Местоположение издательства: М.
Первая страница: 77
Последняя страница: 78
Аннотация: В работе рассматривается традиционная негативная силлогистика как фрагмент второпорядкового интуиционистского исчисления предикатов. Анализируются постулаты, необходимые для доказательства основных силлогистических теорем. работа выполнена при активном участии В. Н. Крупского.
Добавил в систему: Красненкова Анастасия Владимировна

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

ИСТИНА