Craig interpolation for semilinear substructural logics

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

Full text not available from this repository.

Item Type:	Journal Article (Original Article)
Division/Institute:	08 Faculty of Science > Department of Mathematics and Statistics > Institute of Mathematics
UniBE Contributor:	Metcalfe, George
ISSN:	0942-5616
Publisher:	Wiley-VCH
Language:	English
Submitter:	Factscience Import
Date Deposited:	04 Oct 2013 14:41
Last Modified:	05 Dec 2022 14:13
Publisher DOI:	10.1002/malq.201200004
Web of Science ID:	000310973400011
URI:	https://boris.unibe.ch/id/eprint/17004 (FactScience: 224720)