Proof-Theoretic Semantics: An Autobiographical Survey-Reference-Cited by-同舟云学术

Proof-Theoretic Semantics: An Autobiographical Survey

Published:2024 Issue: Volume: Page:1-51
ISSN:2211-2758
Container-title:Outstanding Contributions to Logic
language:en
Short-container-title:

Author:

Schroeder-Heister Peter

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-50981-0_1

Reference60 articles.

1. American Mathematical Society (2020). 2020 Mathematics Subject Classification. url: https://mathscinet.ams.org/mathscinet/msc/msc2020.html.

2. Arndt, M. (2023). Eight rules for implication elimination. In: Peter Schroeder-Heister on Proof-Theoretic Semantics (this volume). Ed. by T. Piecha and K. F. Wehmeier. Berlin: Springer.

3. Avron, A. (1990). Gentzenizing Schroeder-Heister’s natural extension of natural deduction. Notre Dame Journal of Formal Logic 31, 127–135. doi: https://doi.org/10.1305/ndjfl/1093635337.

4. Binder, D. and T. Piecha (2017). Popper’s notion of duality and his theory of negations. History and Philosophy of Logic 38, 154–189. doi: https://doi.org/10.1080/01445340.2016.1278517.

5. Binder, D. and T. Piecha (2021). Popper on quantification and identity. In: Karl Popper’s Science and Philosophy. Ed. by Z. Parusniková and D. Merritt. Berlin: Springer, 149–169. doi:https://doi.org/10.1007/978-3-030-67036-8_8.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics;History and Philosophy of Logic;2024-09-11