Standard

FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC. / Mints, Grigori; Olkhovikov, Grigory; Urquhart, Alasdair.
In: Journal of Symbolic Logic, Vol. 78, No. 3, 2013, p. 937-950.

Research output: Contribution to journal › Article › peer-review

Harvard

Mints, G, Olkhovikov, G & Urquhart, A 2013, 'FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC', Journal of Symbolic Logic, vol. 78, no. 3, pp. 937-950. https://doi.org/10.2178/jsl.7803120

APA

Mints, G., Olkhovikov, G., & Urquhart, A. (2013). FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC. Journal of Symbolic Logic, 78(3), 937-950. https://doi.org/10.2178/jsl.7803120

Vancouver

Mints G, Olkhovikov G, Urquhart A. FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC. Journal of Symbolic Logic. 2013;78(3):937-950. doi: 10.2178/jsl.7803120

Author

Mints, Grigori ; Olkhovikov, Grigory ; Urquhart, Alasdair. / FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC. In: Journal of Symbolic Logic. 2013 ; Vol. 78, No. 3. pp. 937-950.

BibTeX

@article{d6cca6d92b0d4cb29836c807377f2db0,
title = "FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC",
keywords = "THEOREM",
author = "Grigori Mints and Grigory Olkhovikov and Alasdair Urquhart",
year = "2013",
doi = "10.2178/jsl.7803120",
language = "English",
volume = "78",
pages = "937--950",
journal = "Journal of Symbolic Logic",
issn = "0022-4812",
publisher = "Association for Symbolic Logic",
number = "3",

}

RIS

TY - JOUR

T1 - FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC

AU - Mints, Grigori

AU - Olkhovikov, Grigory

AU - Urquhart, Alasdair

PY - 2013

Y1 - 2013

KW - THEOREM

UR - http://www.scopus.com/inward/record.url?scp=84925270890&partnerID=8YFLogxK

UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000324845100012

U2 - 10.2178/jsl.7803120

DO - 10.2178/jsl.7803120

M3 - Article

AN - SCOPUS:84925270890

VL - 78

SP - 937

EP - 950

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

SN - 0022-4812

IS - 3

ER -

ID: 894958