Craig interpolation for semilinear substructural logics
E Marchioni and G Metcalfe
ISSN
0942−5616
Journal
Mathematical Logic Quarterly
Month
Nov
Pages
468–481
Volume
58
Year
2012
E Marchioni and G Metcalfe