✦ LIBER ✦

On the completeness of modular proof systems

✍ Scribed by S. Ramesh

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An elementary proof of the completeness

✍ Dexter Kozen; Rohit Parikh 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 425 KB

A simple proof for the completeness of F

✍ I. Sain 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 181 KB

On completeness of orthogonal systems an

✍ Mario Pérez Riera; Juan L. Varona Malumbres 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 302 KB

A complete modal proof system for HAL: t

✍ Zineb Habbas 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 915 KB

A complete proof of correctness of the K

✍ Gérard Huet 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 709 KB

On the completeness of normed spaces

✍ Abbas Najati 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 224 KB