Autor:	Sohei Iwata, Taishi Kurahashi
Rok vydání:	2019
Předmět:	TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Logic Completeness (order theory) Calculus Arithmetic function Gödel's completeness theorem Hardware_ARITHMETICANDLOGICSTRUCTURES Mathematical proof Mathematics
Zdroj:	Annals of Pure and Applied Logic. 170:163-179
ISSN:	0168-0072
DOI:	10.1016/j.apal.2018.09.004
Popis:	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 .
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4a75878de02bb58b81827d6f2b2d6b3c https://doi.org/10.1016/j.apal.2018.09.004 Zobrazit plný text záznamu Full Text from ScienceDirect