TY  - RPRT
TI  - Failure of interpolation in the intuitionistic logic of constant domains
AU  - Grigori Mints
AU  - Grigory Olkhovikov
AU  - Alasdair Urquhart
PY  - 2012
DO  - 10.2178/jsl.7803120
UR  - https://arxiv.org/abs/1202.3519
ID  - 1202.3519
ER  -