Proof-theoretic modal PA-completeness. III: The syntactic proof (Q1970916)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof-theoretic modal PA-completeness. III: The syntactic proof |
scientific article |
Statements
Proof-theoretic modal PA-completeness. III: The syntactic proof (English)
0 references
14 May 2001
0 references
This paper is the final part of a series of three papers which present the syntactic proof of the arithmetical completeness of the modal system \(G\) (sequent presentation of provability logic for Peano arithmetic). The basic definitions and the tools for the proof are introduced in the preceding parts [ibid. 63, 27-48 (1999; Zbl 0952.03069) and ibid. 63, 245-268 (1999; Zbl 0952.03070)].
0 references
proof theory
0 references
modal logic
0 references
syntactic proof
0 references
arithmetical completeness
0 references
provability logic
0 references
