A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Instantiations, Zippers and EPR Interpolation
unpublished
This paper describes interpolation procedures for EPR.In principle, interpolation for EPR is simple:It is a special case of first-order interpolation.In practice, we would like procedures that take advantageof properties of EPR: EPR admits finite models and those modelsare sometimes possible to describe very compactly.Inspired by procedures for propositional logic that usemodels and cores, but not proofs, we develop a procedure for EPRthat uses just models and cores.
doi:10.29007/xt3j
fatcat:aah5aetcabbrnowu2fsdxceodu