𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The provability of certain sequents in additive arithmetic

✍ Scribed by L. Maliaukiené

Publisher
Springer
Year
1995
Tongue
English
Weight
312 KB
Volume
35
Category
Article
ISSN
0363-1672

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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