1. IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE. (22nd January 2016) Authors: SCHMITZ, SYLVAIN Journal: Journal of symbolic logic Issue: Volume 81:Number 2(2016) Page Start: 641 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗