Back to Search
Start Over
On arithmetical completeness of the logic of proofs
- Source :
- Annals of Pure and Applied Logic. 170:163-179
- Publication Year :
- 2019
- Publisher :
- Elsevier BV, 2019.
-
Abstract
- In this paper, we establish a stronger version of Artemov's arithmetical completeness theorem of the Logic of Proofs LP 0 . Moreover, we prove a version of the uniform arithmetical completeness theorem of LP 0 .
Details
- ISSN :
- 01680072
- Volume :
- 170
- Database :
- OpenAIRE
- Journal :
- Annals of Pure and Applied Logic
- Accession number :
- edsair.doi...........4a75878de02bb58b81827d6f2b2d6b3c