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

Author:

Schroeder-Heister, Peter

Tübinger Autor(en):

Published in:

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

Verlagsangabe:

Springer

Language:

English

Full text:

ISSN:

1572-6126

DDC Classifikation:

004 - Data processing and computer science
610 - Medicine and health

Dokumentart:

Article
BookPart

This item appears in the following Collection(s)