1. Graduate School of System Informatics, Kobe University, Japan;2. National Institute of Technology, Kisarazu College, Japan
Abstract:
In this paper, we establish a stronger version of Artemov's arithmetical completeness theorem of the Logic of Proofs . Moreover, we prove a version of the uniform arithmetical completeness theorem of .