Unification in intermediate logics Rosalie Iemhoff∗ and Paul Rozi`ere January 16, 2015 Abstract This paper contains a proof–theoretic account of unification in intermediate logics. It is shown that many existing resu

First Page		Document Content
Date: 2015-01-17 07:16:44		Unification in intermediate logics Rosalie Iemhoff∗ and Paul Rozi`ere January 16, 2015 Abstract This paper contains a proof–theoretic account of unification in intermediate logics. It is shown that many existing resu Add to Reading List Source URL: www.phil.uu.nl Download Document from Source Website File Size: 360,50 KB Share Document on Facebook