 | Up a level |
Marchioni, Enrico; Metcalfe, George (2012). Craig interpolation for semilinear substructural logics. Mathematical logic quarterly, 58(6), pp. 468-481. Weinheim: Wiley-VCH 10.1002/malq.201200004
Marchioni, Enrico; Metcalfe, George (2010). Interpolation Properties for Uninorm Based Logics. In: Proceedings of ISMVL 2010 (pp. 205-210). Washington, DC: IEEE Computer Society 10.1109/ISMVL.2010.46
