Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi
Attributed to:
Logical Foundations of Resource
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-40229-1_31
Publication URI: http://dx.doi.org/10.1007/978-3-319-40229-1_31
Type: Book Chapter
Book Title: Automated Reasoning (2016)
Page Reference: 452-468
ISSN: 2095-221X