Zeitschriftenartikel:
R. Kuznets, T. Studer:
"Weak Arithmetical Interpretations for the Logic of Proofs";
Logic Journal of the IGPL,
24
(2016),
3;
S. 424
- 440.
Kurzfassung englisch:
Artemov established an arithmetical interpretation for the Logics of Proofs LPCS, which yields a classical provability semantics for the modal logic S4. The Logics of Proofs are parameterized by so-called constant specifications CS, stating which axioms can be used in the reasoning process, and the arithmetical interpretation relies on constant specifications being finite. In this article, we remove this restriction by introducing weak arithmetical interpretations that are sound and complete for a wide class of constant specifications, including infinite ones. In particular, they interpret the full Logic of Proofs LP.
Schlagworte:
Logic of Proofs, Peano Arithmetic, realization theorem
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1093/jigpal/jzw002
Elektronische Version der Publikation:
https://academic.oup.com/jigpal/article/24/3/424/2893113?guestAccessKey=7df7a508-c5d6-4c61-bcf9-166c461c8ca5
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.