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

Autor(en):

Schroeder-Heister, Peter

Tübinger Autor(en):

Erschienen in:

Studia Logica (2014), Bd. 102, H. SI, S. 1185-1216

Verlagsangabe:

Springer

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

0039-3215

DDC-Klassifikation:

300 - Sozialwissenschaften, Soziologie, Anthropologie
510 - Mathematik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: