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
| Τίτλος: | 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 |
|---|---|
| Συγγραφείς: | Will Stafford |
| Πηγή: | The Bulletin of Symbolic Logic. 30:427-431 |
| Στοιχεία εκδότη: | Cambridge University Press (CUP), 2024. |
| Έτος έκδοσης: | 2024 |
| Τύπος εγγράφου: | Article |
| Γλώσσα: | English |
| ISSN: | 1943-5894 1079-8986 |
| DOI: | 10.1017/bsl.2024.33 |
| Rights: | Cambridge Core User Agreement |
| Αριθμός Καταχώρησης: | edsair.doi...........6e09dbe89de3cdeb518e114ff2cde3e4 |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 19435894 10798986 |
|---|---|
| DOI: | 10.1017/bsl.2024.33 |