Intuitionistic predicate logic of constant domains does not have Beth property
From MaRDI portal
Publication:6232589
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.
This page was built for publication: Intuitionistic predicate logic of constant domains does not have Beth property
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6232589)
