✦ LIBER ✦

Incomplete types for logic databases

✍ Scribed by Veronica Dahl

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Types, Logic, and Semantics for Nested D

✍ Achim Jung; Hermann Puhlmann 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 984 KB

Omitting Types in Incomplete Theories

✍ Enrique Casanovas and Rafel Farré 📂 Article 📅 1996 🏛 Association for Symbolic Logic 🌐 English ⚖ 240 KB

Completeness and incompleteness for plau

✍ Karl Schlechta 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 920 KB

A knowledge assimilation method for logi

✍ Taizo Miyachi; Susumu Kunifuji; Hajime Kitakami; Koichi Furukawa; Akikazu Takeuc 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 845 KB

A Temporal Logic for Supporting Historic

✍ Shichao Zhang 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 149 KB

Logic-based query optimization for objec

✍ Grant, J.; Gryz, J.; Minker, J.; Raschid, L. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 324 KB