Intuitionistic predicate logic of constant domains does not have Beth property

Grigory K. Olkhovikov

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 identit…