|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О свойстве простой подстановки для суперинтуиционистских пропозициональных логик и о его связи с их свойством отделимостистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 6 мая 2016 г.
- Автор: Хомич Валентин Иванович
- Журнал: Известия РАН. Серия математическая
- Том: 67
- Номер: 2
- Год издания: 2003
- Первая страница: 181
- Последняя страница: 210
- DOI: 10.4213/im431
- Аннотация: Изучается свойство простой подстановки, касающееся суперинтуиционистских пропозициональных исчислений, являющихся аксиоматизациями суперинтуиционистских пропозициональных логик. Для этих исчислений получен алгебраический критерий наличия свойства простой подстановки. С его помощью доказано, что многие логики, среди которых содержатся почти все логики, порожденные формулами от одной переменной, не обладают свойством простой подстановки. Получен ряд результатов, устанавливающих связь между отделимыми и обладающими свойством простой подстановки аксиоматизациями рассматриваемых логик.
- Добавил в систему: Золин Евгений Евгеньевич