✦ LIBER ✦

Partial-predicate logic in computer science

✍ Scribed by Albert Hoogewijs

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A PARTIAL PREDICATE CALCULUS IN A TWO-VA

✍ Albert Hoogewijs 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 257 KB

Provability in predicate product logic

✍ Michael C. Laskowski; Shirin Malekpour 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 228 KB

Forcing in Łukasiewicz Predicate Logic

✍ Antonio Di Nola; George Georgescu; Luca Spada 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 399 KB

Contexts in Dynamic Predicate Logic

✍ Albert Visser 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 279 KB

Trees in Linguistics, Logic, and Compute

✍ Dov M. Gabbay; Valentin Goranko 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 21 KB

Individual Concepts in Modal Predicate L

✍ Maria Aloni 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 461 KB