✦ LIBER ✦

Logical relations

✍ Scribed by Donald Nute

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logical relations between theories

✍ V. A. Smirnov 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 756 KB

Kripke Logical Relations and PCF

✍ P.W. Ohearn; J.G. Riecke 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 872 KB

Indexical sentences and nonformal “logic

✍ Richard W. Peltz 📂 Article 📅 1962 🏛 Springer Netherlands 🌐 English ⚖ 249 KB

Logical relations and the typed λ-calcul

✍ R. Statman 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 569 KB

Logical relations among different defini

✍ J. Dunning-Davies; P.T. Landsberg 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 88 KB

Can indexical sentences stand in logical

✍ Yehoshua Bar-Hillel 📂 Article 📅 1963 🏛 Springer Netherlands 🌐 English ⚖ 236 KB