Intuitionistic predicate logic of constant domains does not have Beth property
Logic
2012-05-04 v2
Abstract
Drawing on the previous work on interpolation failure, we show that Beth's definability theorem does not hold for intuitionistic predicate logic of constant domains without identity.
Cite
@article{arxiv.1204.5788,
title = {Intuitionistic predicate logic of constant domains does not have Beth property},
author = {Grigory K. Olkhovikov},
journal= {arXiv preprint arXiv:1204.5788},
year = {2012}
}
Comments
9 pages, 0 figures. Several misprints corrected