𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Comments on Predicative Logic

✍ Scribed by Fernando Ferreira


Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
268 KB
Volume
35
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On detecting logical predicates
✍ V. F. Van Neste πŸ“‚ Article πŸ“… 1975 πŸ› Springer Netherlands 🌐 English βš– 379 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