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

Author:

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

Tübinger Autor(en):

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:

Article
ConferenceObject

This item appears in the following Collection(s)