✦ LIBER ✦

On detecting logical predicates

✍ Scribed by V. F. Van Neste

Publisher: Springer Netherlands
Year: 1975
Tongue: English
Weight: 379 KB
Volume: 27
Category: Article
ISSN: 0031-8116
DOI: 10.1007/bf01236460

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on Predicative Logic

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

The Logical Simplicity of Predicates

✍ Goodman, Nelson 📂 Fiction 📅 0 🌐 English ⚖ 344 KB

Detecting conjunctions of global predica

Detecting conjunctions of global predicates

✍ Vijay K. Garg; J.Roger Mitchell 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 731 KB

We present an efficient algorithm to detect if the conjunction of two nonlocal predicates is possibly true in a distributed computation. For offline detection of such global predicates, our algorithm is significantly more efficient than the previous algorithms by Cooper and Marzullo, and by Staller

On finite linear intermediate predicate

On finite linear intermediate predicate logics

✍ Hiroakira Ono 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 504 KB

Predicate logic hacker tricks

✍ Hans Jūrgen Ohlbach 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 293 KB

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