✦ LIBER ✦

A Modal Herbrand's Property

✍ Scribed by Marta Cialdea; Luis Fariñas del Cerro

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A complete modal proof system for HAL: t

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

A form of herbrand's theorem

✍ Theodore Hailperin 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 957 KB

Remarks on Herbrand normal forms and Her

✍ Ulrich Kohlenbach 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 674 KB

Disjunctive property of superintuitionis

✍ M. V. Zakhar'yashchev 📂 Article 📅 1987 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 433 KB

A variant of Herbrand's theorem for form

✍ A. V. Lyaletskii 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 677 KB

A property of modal convergence for a sp

✍ J.-P. Guibert 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 617 KB