✦ LIBER ✦

Hybridizing a Logical Framework

✍ Scribed by Jason Reed

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Linear Logical Framework

✍ Iliano Cervesato; Frank Pfenning 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 382 KB

A Logical Framework for Convention

✍ Giacomo Sillari 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 127 KB

A logical framework for default reasonin

✍ David Poole 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 943 KB

PAL+: a lambda-free logical framework

✍ LUO, ZHAOHUI 📂 Article 📅 2003 🏛 Cambridge University Press 🌐 English ⚖ 696 KB

Mechanizing metatheory in a logical fram

✍ HARPER, ROBERT; LICATA, DANIEL R. 📂 Article 📅 2007 🏛 Cambridge University Press 🌐 English ⚖ 753 KB

A logical framework for knowledge base m

✍ Wei Li 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 667 KB