|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Перевод традиционной негативной силлогистики в модальную логикудоклад на конференции
- Автор: Красненкова Анастасия Владимировна
- Международная Конференция : Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года
- Даты проведения конференции: 15-17 июня 2017
- Дата доклада: 16 июня 2017
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Философский факультет, МГУ имени М. В. Ломоносова, Россия
-
Аннотация доклада:
We introduce a modal system S5* that describes the traditional negative syllogistics formulated by A. A. Ilyin. Theorems of so-called equivalence of translations are proved, and the complexity bounds for the traditional negative syllogistics are established.
- Добавил в систему: Золин Евгений Евгеньевич