Failure of interpolation in constant domain intuitionistic logic

Mints, G.; Olkhovikov, G.; Urquhart, A.

doi:10.2178/jsl.7803120

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elar.urfu.ru/handle/10995/102401

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Mints, G.	en
dc.contributor.author	Olkhovikov, G.	en
dc.contributor.author	Urquhart, A.	en
dc.date.accessioned	2021-08-31T15:03:29Z	-
dc.date.available	2021-08-31T15:03:29Z	-
dc.date.issued	2013	-
dc.identifier.citation	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.	en
dc.identifier.issn	224812	-
dc.identifier.other	Final	2
dc.identifier.other	All Open Access, Green	3
dc.identifier.other	https://www.scopus.com/inward/record.uri?eid=2-s2.0-84925270890&doi=10.2178%2fjsl.7803120&partnerID=40&md5=c9f478b1be9211c9ea310f278cac70ac
dc.identifier.other	http://arxiv.org/pdf/1202.3519	m
dc.identifier.uri	http://elar.urfu.ru/handle/10995/102401	-
dc.description.abstract	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.	en
dc.format.mimetype	application/pdf	en
dc.language.iso	en	en
dc.publisher	Association for Symbolic Logic	en
dc.rights	info:eu-repo/semantics/openAccess	en
dc.source	J. Symb. Logic	2
dc.source	Journal of Symbolic Logic	en
dc.title	Failure of interpolation in constant domain intuitionistic logic	en
dc.type	Article	en
dc.type	info:eu-repo/semantics/article	en
dc.type	info:eu-repo/semantics/publishedVersion	en
dc.identifier.doi	10.2178/jsl.7803120	-
dc.identifier.scopus	84925270890	-
local.contributor.employee	Mints, G., Department of Philosophy, Stanford University, Stanford, CA 94305, United States
local.contributor.employee	Olkhovikov, G., Department of Philosophy, Ural Federal University, Ekaterinburg, 620083, Russian Federation
local.contributor.employee	Urquhart, A., Department of Computer Science, University of Toronto, Toronto, ON M5S 1A1, Canada
local.description.firstpage	937	-
local.description.lastpage	950	-
local.issue	3	-
local.volume	78	-
dc.identifier.wos	000324845100012	-
local.contributor.department	Department of Philosophy, Stanford University, Stanford, CA 94305, United States
local.contributor.department	Department of Philosophy, Ural Federal University, Ekaterinburg, 620083, Russian Federation
local.contributor.department	Department of Computer Science, University of Toronto, Toronto, ON M5S 1A1, Canada
local.identifier.pure	d6cca6d9-2b0d-4cb2-9836-c807377f2db0	uuid
local.identifier.pure	894958	-
local.identifier.eid	2-s2.0-84925270890	-
local.identifier.wos	WOS:000324845100012	-
Располагается в коллекциях:	Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC

Файлы этого ресурса:

Файл	Описание	Размер	Формат
2-s2.0-84925270890.pdf		145,84 kB	Adobe PDF	Просмотреть/Открыть

Показать базовое описание ресурса Статистика

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.