General-Elimination Harmony and Higher-Level Rules
Attributed to:
Foundations of Logical Consequence
funded by
AHRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-11041-7_13
Publication URI: http://dx.doi.org/10.1007/978-3-319-11041-7_13
Type: Book Chapter
Book Title: Dag Prawitz on Proofs and Meaning (2015)
Page Reference: 293-312
ISBN: 978-3-319-11040-0