|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
On the independent axiomatizability of modal and intermediate logicsстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 28 июня 2016 г.
- Авторы: Chagrov Alexander, Zakharyaschev Michael
- Журнал: Journal of Logic and Computation
- Том: 5
- Номер: 3
- Год издания: 1995
- Издательство: Oxford University Press
- Местоположение издательства: United Kingdom
- Первая страница: 287
- Последняя страница: 302
- DOI: 10.1093/logcom/5.3.287
- Аннотация: This paper gives a solution to the old independent axiomatizability problem by presenting normal modal logics above K4 and Grz and an intermediate logic without independent axiomatizations. Incidentally Blok's problem is solved: the lattices of varieties of topological Boolean and pseudo-Boolean algebras are not strongly atomic. We also study the relationship between independent axiomatizability of intermediate logics and their modal companions above S4.
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 1995_Chagrov_Zakh_JLC_5_3.pdf | 655,6 КБ | 15 февраля 2016 [ezolin] |