The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony

DSpace Repository

The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony

Author: Schroeder-Heister, Peter
Tübinger Autor(en):
Schroeder-Heister, Peter
Published in: Studia Logica (2014), Bd. 102, H. SI, S. 1185-1216
Verlagsangabe: Springer
Language: English
Full text: http://dx.doi.org/10.1007/s11225-014-9562-3
ISSN: 0039-3215
DDC Classifikation: 300 - Social sciences, sociology and anthropology
510 - Mathematics
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)