Structural frameworks, substructural logics, and the role of elimination inferences
from Logical Issues
Published online by Cambridge University Press: 04 August 2010
Summary
- Type
- Chapter
- Information
- Logical Frameworks , pp. 385 - 403Publisher: Cambridge University PressPrint publication year: 1991
- 8
- Cited by