|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
The disjunction property of intermediate propositional logicsстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 19 июля 2016 г.
- Авторы: Chagrov Alexander, Zakharyaschev Michael
- Журнал: Studia Logica
- Том: 50
- Номер: 2
- Год издания: 1991
- Издательство: Springer Nature
- Местоположение издательства: Switzerland
- Первая страница: 189
- Последняя страница: 216
- DOI: 10.1007/BF00370182
- Аннотация: This paper is a survey of results concerning the disjunction property, Halldén-completeness, and other related properties of intermediate prepositional logics and normal modal logics containing S4.
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 1991_Chagrov_Zakh_Studia_Logica_50_2.pdf | 476,4 КБ | 22 февраля 2016 [ezolin] |