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

Autor(en):

Schroeder-Heister, Peter; Olkhovikov, G.K.

Tübinger Autor(en):

Erschienen in:

Second Pisa Colloquium in Logic, Language and Epistemology (2014-01-01), Bd. , S. 245-287

Verlagsangabe:

ETS

Sprache:

Englisch

ISBN:

978-8846740335

DDC-Klassifikation:

004 - Informatik
100 - Philosophie

Dokumentart:

Wissenschaftlicher Artikel
Konferenzveröffentlichung

Das Dokument erscheint in: