Article contents
Failure of Interpolation in Constant Domain Intuitionistic Logic
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2013
References
REFERENCES
- 7
- Cited by