Intuitionistic predicate logic of constant domains does not have Beth property
From MaRDI portal
Publication:6232589
arXiv1204.5788MaRDI QIDQ6232589FDOQ6232589
Authors: Grigory Olkhovikov 
Publication date: 25 April 2012
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)
