Proof-theoretic harmony and the levels of rules: Generalised non-flattening results

DSpace Repository

Proof-theoretic harmony and the levels of rules: Generalised non-flattening results

Author: Schroeder-Heister, Peter; Olkhovikov, G.K.
Tübinger Autor(en):
Schroeder-Heister, Peter
Published in: Second Pisa Colloquium in Logic, Language and Epistemology (2014-01-01), Bd. , S. 245-287
Verlagsangabe: ETS
Language: English
ISBN: 978-8846740335
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Dokumentart: Artikel
Konferenzveröffentlichung
Show full item record

This item appears in the following Collection(s)