|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Финитная аппроксимируемость предтранзитивных аналогов S5статья
- Авторы: Кудинов А.В., Шапировский И.Б.
- Сборник: Сборник статей конференции “Информационные технологии и системы” (ИТиС’11)
- Год издания: 2011
- Место издания: ИППИ РАН Москва
- Первая страница: 353
- Последняя страница: 356
- Аннотация: В работе рассматриваются нормальные одномодальные предтранзитивные логики, т.е. логики, в которых можно выразить транзитивную модальность. Вопрос финитной аппроксимируемости предтранзитивных логик остается нерешенным уже на протяжении продолжительного времени. Хорошо известно, что логика отношений эквивалентности S5 вкладывается в логику предпорядков S4. Мы обобщаем этот результат на случай произвольной предтранзитивной логики L: в L вкладывается логика Lsim — расширение логики L аксиомой, выражающей симметричность транзитивной модальности. В силу этого мы имеем следующее необходимое условие финитной аппроксимируемости (и разрешимости) предтразнитивных логик: L финитно аппроксимируема (разрешима), только если финитно аппроксимируема (разрешима) логика Lsim. Мы также покажем, что для всех n>m>0 (n,m)-транзитивные логики с аксиомой симметричности транзитивного замыкания финитно аппроксимируемы и разрешимы. URL: http://itas2011.iitp.ru/pdf/1569465743.pdf
- Добавил в систему: Золин Евгений Евгеньевич