𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On induction-free provability

✍ Scribed by Jan Krajíček; Gaisi Takeuti

Book ID
105230370
Publisher
Springer Netherlands
Year
1992
Tongue
English
Weight
797 KB
Volume
6
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Rosser's Provability Predicate
On Rosser's Provability Predicate
✍ V. Yu. Shavrukov 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 693 KB

In their paper [4] GUASPARI and SOLOVAY investigate the system R of modal provability logic extended with witness comparison operators o A < B and D A I o B (see also SMO-RYI~SKI (91 and DE JONGH 151). These are intended to express that there is a proof of A whose Godel-number is smaller than resp.

Provability logics with quantifiers on p
Provability logics with quantifiers on proofs
✍ Rostislav E. Yavorsky 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 124 KB

We study here extensions of the Artemov's logic of proofs in the language with quantiÿers on proof variables. Since the provability operator A could be expressed in this language by the formula ∃u[u]A, the corresponding logic naturally extends the well-known modal provability logic GL. Besides, the