Book ChapterOPEN ACCESS

Open Problems in Proof-Theoretic Semantics

Springer Science and Business Media B.V., (2016), 253-283
DOI: 10.1007/978-3-319-22686-6_16
12Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

I present three open problems the discussion and solution of which I consider relevant for the further development of proof-theoretic semantics: (1) The nature of hypotheses and the problem of the appropriate format of proofs, (2) the problem of a satisfactory notion of proof-theoretic harmony, and (3) the problem of extending methods of proof-theoretic semantics beyond logic.

Author supplied keywords

Cite

CITATION STYLE

APA

Schroeder-Heister, P. (2016). Open Problems in Proof-Theoretic Semantics. In Trends in Logic (Vol. 43, pp. 253–283). Springer Science and Business Media B.V. https://doi.org/10.1007/978-3-319-22686-6_16

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free