✦ 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
DOI: 10.1007/s10992-005-9001-z

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

Classical predicative logic-enriched typ

Classical predicative logic-enriched type theories

✍ Robin Adams; Zhaohui Luo 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 619 KB

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

Predicate Logical Extensions of some Sub

Predicate Logical Extensions of some Subintuitionistic Logics

✍ Ernst Zimmermann 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 180 KB