✦ LIBER ✦

Predicate logic hacker tricks

✍ Scribed by Hans Jūrgen Ohlbach

Publisher: Springer Netherlands
Year: 1985
Tongue: English
Weight: 293 KB
Volume: 1
Category: Article
ISSN: 0168-7433
DOI: 10.1007/bf00244279

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

About finite predicate logic

✍ Herman Dishkant 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 636 KB

We say that an n-argument predicate P ~ .O n is finite, if P is a finite set. Note that the set of individuals .O is infinite! Finite predicates are useful in data bases and in finite mathematics. The logic DBL proposed here operates on finite predicates only. Y~re construct an imbedding for DBJb in

Tricks and Treats from the Hacker Underg

Tricks and Treats from the Hacker Underground!

✍ Bill Boni 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 172 KB

On detecting logical predicates

✍ V. F. Van Neste 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 379 KB

Comments on Predicative Logic

✍ Fernando Ferreira 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 268 KB

Modified realizability and predicate log

Modified realizability and predicate logic

✍ V. E. Plisko 📂 Article 📅 1997 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 688 KB

Substitutionless predicate logic with id

Substitutionless predicate logic with identity

✍ Monk, Donald 📂 Article 📅 1965 🏛 Springer-Verlag ⚖ 924 KB