|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Перевод традиционной негативной силлогистики в модальную логикутезисы доклада
- Автор: Красненкова Анастасия Владимировна
- Сборник: Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года
- Редакторы: Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2017
- Издательство: Изд-во Моск. ун-та
- Местоположение издательства: М.
- Первая страница: 28
- Последняя страница: 29
- Аннотация: 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.
- Добавил в систему: Золин Евгений Евгеньевич