Interpolation paper is out
Post date: Nov 25, 2014 10:06:39 AM
Our paper with Melvin Fitting on Craig interpolation using nested sequents in the Annals of Pure and Applied Logic has appeared at this URL: http://dx.doi.org/10.1016/j.apal.2014.11.002.
Post date: Nov 25, 2014 10:06:39 AM
Our paper with Melvin Fitting on Craig interpolation using nested sequents in the Annals of Pure and Applied Logic has appeared at this URL: http://dx.doi.org/10.1016/j.apal.2014.11.002.