✦ LIBER ✦

SUBSTITUTION IN LOGIC

✍ Scribed by Francis C. Russell

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient Substitution in Hoare Logic Ex

✍ Andrew W. Appel; Kedar N. Swadi; Roberto Virga 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 166 KB

Logic of proofs with substitution

✍ N. M. Rubtsova 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 581 KB

New implementation of symbolic substitut

✍ Brenner, Karl-Heinz 📂 Article 📅 1986 🏛 The Optical Society 🌐 English ⚖ 453 KB

Eliminating the substitution axiom from

✍ Beverly A. Sanders 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 874 KB

Models for the substitution axiom of UNI

✍ Georg Reichwein; JoséLuiz Fiadeiro 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 555 KB

On detachment-substitutional formalizati

✍ Wieslaw Dziobiak 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 306 KB