Failure of interpolation in the intuitionistic logic of constant domains
classification
🧮 math.LO
keywords
interpolationconstantdomainsintuitionisticlogicclaimsfailsfailure
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.