- This entry has no external links.Add one.
Atomic Systems in Proof-Theoretic Semantics: Two Approaches
In Ángel Nepomuceno Fernández, Olga Pombo Martins & Juan Redmond,Epistemology, Knowledge and the Impact of Interaction. Cham, Switzerland: Springer Verlag (2016) Copy BIBTEX
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford -2021 -Journal of Philosophical Logic 50 (5):1199-1229.
Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle &Paulo Guilherme Santos -2024 - In Thomas Piecha & Kai F. Wehmeier,Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.
Thomas Piecha and Peter Schroeder-Heister.Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.Studia Logica, vol. 107 (2019), no. 1, pp. 233–246. - Alexander V. Gheorghiu, Tao Gu and David J. Pym.Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic.Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367–385. - Hermógenes Oliveira.On Dummett’s Pragmatist Justification Procedure.Erkenntnis, vol. 86 (2021), no. 2, pp. 429–455. [REVIEW]Will Stafford -2024 -Bulletin of Symbolic Logic 30 (3):427-431.
The Validity of Inference and Argument.Dag Prawitz -2024 - In Thomas Piecha & Kai F. Wehmeier,Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 135-160.
Prawitz's completeness conjecture: A reassessment.Peter Schroeder-Heister -2024 -Theoria 90 (5):492-514.
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha &Kai F. Wehmeier (eds.) -2024 - Springer.
Grundlagen der Arithmetik, §17: Part 1. Frege’s Anticipation of the Deduction Theorem.Göran Sundholm -2024 - In Thomas Piecha & Kai F. Wehmeier,Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 53-84.
Comments on the Contributions.Peter Schroeder-Heister -2024 - In Thomas Piecha & Kai F. Wehmeier,Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 443-455.
Kolmogorov and the General Theory of Problems.Wagner de Campos Sanz -2024 - In Thomas Piecha & Kai F. Wehmeier,Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 161-192.
Analytics
Added to PP
2019-01-28
Downloads
0
6 months
0
2019-01-28
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author's Profile
Citations of this work
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister &Thomas Piecha (eds.) -2015 - Cham, Switzerland: Springer Verlag.
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha &Kai F. Wehmeier (eds.) -2024 - Springer.
Proof-Theoretic Semantics: An Autobiographical Survey.Peter Schroeder-Heister -2024 - In Thomas Piecha & Kai F. Wehmeier,Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 1-51.
Choosing Your Nonmonotonic Logic: A Shopper’s Guide.Ulf Hlobil -2018 - In Pavel Arazim & Tomas Lavicka,The Logica Yearbook 2017. College Publications. pp. 109-123.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-cj6sj uwo