Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus

DSpace Repository

Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus

Author: Schroeder-Heister, Peter
Tübinger Autor(en):
Schroeder-Heister, Peter
Published in: Trends in Logic Studia Logica Library (2014), Bd. 39, S. 1-29
Verlagsangabe: Springer
Language: English
Full text: http://dx.doi.org/10.1007/978-94-007-7548-0_1
ISSN: 1572-6126
DDC Classifikation: 004 - Data processing and computer science
610 - Medicine and health
Dokumentart: Artikel
Buch (einzelnes Kapitel)
Show full item record

This item appears in the following Collection(s)