|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Некоторые примеры модальных логик без конечной аксиоматикистатья
- Авторы: Кудинов А.В., Шапировский И.Б.
- Сборник: Сборник статей конференции “Информационные технологии и системы” (ИТиС’10)
- Год издания: 2010
- Место издания: ИППИ РАН Москва
- Первая страница: 258
- Последняя страница: 262
- Аннотация: В работе рассматриваются пропозициональные модальные логики, не обладающие конечной аксиоматикой и, более того, не аксиоматизируемые никаким своим фрагментом с конечным числом переменных. Показано, что такие логики могут возникать даже в случае весьма «простых» структур, в частности — бесконечных множеств с одним отношением неравенства или в случае произведений структур такого вида. URL: http://www.itas2010.iitp.ru/pdf/1569324709.pdf
- Добавил в систему: Золин Евгений Евгеньевич