𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Extensions of the provability logic

✍ Scribed by A. Yu. Muravitskii

Publisher
SP MAIK Nauka/Interperiodica
Year
1983
Tongue
English
Weight
494 KB
Volume
33
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Logic of proofs and provability
Logic of proofs and provability
✍ Tatiana Yavorskaya (Sidon) πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 216 KB

In the paper the joint Logic of Proofs and Provability LPP is presented that incorporates both the modality for provability (Israel J. Math. 25 (1976) 287-304) and the proof operator <t=F representing the proof predicate "t is a proof of F " (Technical Report No. CFIS 95-29, Cornell University, 1995

PROVABILITY LOGIC IN THE GENTZEN FORMULA
PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
✍ Paolo Gentilini; P. Gentilini πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 796 KB

## Abstract In this paper are studied the properties of the proofs in PRA of provability logic sentences, i.e. of formulas which are Boolean combinations of formulas of the form P~IPRA~(h), where h is the GΓΆdel‐number of a sentence in PRA. The main result is a Normal Form Theorem on the proof‐trees