FAILURE OF INTERPOLATION IN CONSTANT DOMAIN INTUITIONISTIC LOGIC › Research Explorer

DOI

https://doi.org/10.2178/jsl.7803120
Final published version

Grigori Mints
Grigory Olkhovikov
Alasdair Urquhart

Original language	English
Pages (from-to)	937-950
Number of pages	14
Journal	Journal of Symbolic Logic
Volume	78
Issue number	3
DOIs	https://doi.org/10.2178/jsl.7803120
Publication status	Published - 2013

WoS ResearchAreas Categories

Mathematics
Logic

Research areas

THEOREM

ASJC Scopus subject areas

Logic
Philosophy

ID: 894958