𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Completeness of indexed ε-calculus

✍ Scribed by G.E. Mints; Darko Sarenac

Publisher
Springer
Year
2003
Tongue
English
Weight
144 KB
Volume
42
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Subdifferential Calculus Using ϵ-Subdiff
Subdifferential Calculus Using ϵ-Subdifferentials
✍ J.B. Hiriarturruty; R.R. Phelps 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 429 KB

In applications of convex analysis it is important to be able to calculate the subdifferentials of various combinations of (proper and lower semicontinuous) convex functions, such as the sum of two such functions, or their inf-convolution ("epi-sum"), as well as the pre-composition of a convex funct

Structural completeness of the first-ord
Structural completeness of the first-order predicate calculus
✍ W. A. Pogorzelski; T. Prucnal 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 427 KB

1. The problem of structural conipleteness of a logical system is formulated as the qiicstion about derivability in this system of all permissible and structural rules (cf. [lo]).