ISSN: 2310-757X
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/102401| Название: | Failure of interpolation in constant domain intuitionistic logic |
| Авторы: | Mints, G. Olkhovikov, G. Urquhart, A. |
| Дата публикации: | 2013 |
| Издатель: | Association for Symbolic Logic |
| Библиографическое описание: | Mints G. Failure of interpolation in constant domain intuitionistic logic / G. Mints, G. Olkhovikov, A. Urquhart. — DOI 10.2178/jsl.7803120 // Journal of Symbolic Logic. — 2013. — Vol. 78. — Iss. 3. — P. 937-950. |
| Аннотация: | This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that the interpolation property holds. © 2013, Association for Symbolic Logic. |
| URI: | http://elar.urfu.ru/handle/10995/102401 |
| Условия доступа: | info:eu-repo/semantics/openAccess |
| Идентификатор SCOPUS: | 84925270890 |
| Идентификатор PURE: | 894958 d6cca6d9-2b0d-4cb2-9836-c807377f2db0 |
| ISSN: | 224812 |
| DOI: | 10.2178/jsl.7803120 |
| Располагается в коллекциях: | Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 2-s2.0-84925270890.pdf | 145,84 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.