Marchioni, Enrico

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 2.

Journal Article

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

Conference or Workshop Item

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

This list was generated on Sat Nov 23 09:20:04 2024 CET.
Provide Feedback