✦ LIBER ✦

Effectiveness and provability

✍ Scribed by Sieg, Wilfried

Book ID: 105658708
Publisher: Springer-Verlag
Year: 1991
Weight: 584 KB
Volume: 61
Category: Article
ISSN: 0370-7377
DOI: 10.1007/bf02925207

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Truth and Provability

✍ Smullyan, Raymond M. 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 275 KB

Logics of Provability

✍ Review by: Timothy Williamson 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

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, truth, and modal logic

✍ George Boolos 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 313 KB

The Logic of Provability

📂 Article 📅 1996 🏛 John Wiley and Sons ⚖ 208 KB

On induction-free provability

✍ Jan Krajíček; Gaisi Takeuti 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 797 KB