Grigori Mints, Grigory K. Olkhovikov, Alasdair Urquhart. Failure of interpolation in constant domain intuitionistic logic. Journal of Symbolic Logic, 78(3):937-950, 2013. [doi]
@article{MintsOU13,
title = {Failure of interpolation in constant domain intuitionistic logic},
author = {Grigori Mints and Grigory K. Olkhovikov and Alasdair Urquhart},
year = {2013},
url = {http://projecteuclid.org/euclid.jsl/1389032282},
researchr = {https://researchr.org/publication/MintsOU13},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {78},
number = {3},
pages = {937-950},
}