![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Advances in Proof-Theoretic Semantics 2016
- Thomas Piecha, Peter Schroeder-Heister:
Advances in Proof-Theoretic Semantics. Trends in Logic 43, Springer 2016, ISBN 978-3-319-22685-9 - Thomas Piecha, Peter Schroeder-Heister:
Advances in Proof-Theoretic Semantics: Introduction. 1-4 - Dag Prawitz:
On the Relation Between Heyting's and Gentzen's Approaches to Meaning. 5-25 - Walter Dean, Hidenori Kurokawa:
Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause. 27-63 - Kosta Dosen:
On the Paths of Categories. 65-77 - Roy Dyckhoff:
Some Remarks on Proof-Theoretic Semantics. 79-93 - Yoshihiro Maruyama:
Categorical Harmony and Paradoxes in Proof-Theoretic Semantics. 95-114 - Gabriele Usberti:
The Paradox of Knowability from an Intuitionistic Standpoint. 115-137 - Jan von Plato:
Explicit Composition and Its Application in Proofs of Normalization. 139-152 - Reinhard Kahle:
Towards a Proof-Theoretic Semantics of Equalities. 153-160 - Lars Hallnäs:
On the Proof-Theoretic Foundations of Set Theory. 161-171 - Wilfrid Hodges:
A Strongly Differing Opinion on Proof-Theoretic Semantics? 173-188 - Kosta Dosen:
Comments on an Opinion. 189-193 - Warren D. Goldfarb:
On Dummett's "Proof-Theoretic Justifications of Logical Laws". 195-210 - Jan Ekman:
Self-contradictory Reasoning. 211-229 - Thomas Piecha:
Completeness in Proof-Theoretic Semantics. 231-251 - Peter Schroeder-Heister:
Open Problems in Proof-Theoretic Semantics. 253-283
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.