Translator Disclaimer
September 2013 Failure of interpolation in constant domain intuitionistic logic
Grigori Mints, Grigory Olkhovikov, Alasdair Urquhart
J. Symbolic Logic 78(3): 937-950 (September 2013). DOI: 10.2178/jsl.7803120

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.

Citation

Download Citation

Grigori Mints. Grigory Olkhovikov. Alasdair Urquhart. "Failure of interpolation in constant domain intuitionistic logic." J. Symbolic Logic 78 (3) 937 - 950, September 2013. https://doi.org/10.2178/jsl.7803120

Information

Published: September 2013
First available in Project Euclid: 6 January 2014

zbMATH: 1327.03007
MathSciNet: MR3135505
Digital Object Identifier: 10.2178/jsl.7803120

Rights: Copyright © 2013 Association for Symbolic Logic

JOURNAL ARTICLE
14 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.78 • No. 3 • September 2013
Back to Top