Academic Journal
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
| Title: | 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 |
|---|---|
| Authors: | Will Stafford |
| Source: | The Bulletin of Symbolic Logic. 30:427-431 |
| Publisher Information: | Cambridge University Press (CUP), 2024. |
| Publication Year: | 2024 |
| Document Type: | Article |
| Language: | English |
| ISSN: | 1943-5894 1079-8986 |
| DOI: | 10.1017/bsl.2024.33 |
| Rights: | Cambridge Core User Agreement |
| Accession Number: | edsair.doi...........6e09dbe89de3cdeb518e114ff2cde3e4 |
| Database: | OpenAIRE |
| ISSN: | 19435894 10798986 |
|---|---|
| DOI: | 10.1017/bsl.2024.33 |