✦ LIBER ✦

A Proof-theoretic View of Necessity

✍ Scribed by Reinhard Kahle

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof-theoretic analysis of collection

✍ Lev D. Beklemishev 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 216 KB

Necessity viewed as a semantical predica

✍ Paul Schweizer 📂 Article 📅 1987 🏛 Springer Netherlands 🌐 English ⚖ 752 KB

A proof-theoretic approach to entailment

✍ N. Tennant 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 818 KB

A proof-theoretic characterization of ob

✍ Colin Stirling 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 932 KB

A measure-theoretic proof of Turing inco

✍ Chris J. Conidis 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 294 KB

A proof-theoretic foundation of abortive

✍ Zena M. Ariola; Hugo Herbelin; Amr Sabry 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 634 KB