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

Autor(en):

Schroeder-Heister, Peter

Tübinger Autor(en):

Erschienen in:

Trends in Logic Studia Logica Library (2014), Bd. 39, S. 1-29

Verlagsangabe:

Springer

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1572-6126

DDC-Klassifikation:

004 - Informatik
610 - Medizin, Gesundheit

Dokumentart:

Wissenschaftlicher Artikel
Teil eines Buches

Das Dokument erscheint in: