𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A COMPLETENESS RESULT FOR FIXED-POINT ALGEBRAS

✍ Scribed by Franco Montagna

Publisher
John Wiley and Sons
Year
1984
Tongue
English
Weight
468 KB
Volume
30
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Completeness Result for Quantification
A Completeness Result for Quantificational Tense Logic
✍ Robert P. McArthur; Hugues Leblanc πŸ“‚ Article πŸ“… 1976 πŸ› John Wiley and Sons 🌐 English βš– 529 KB

We establish in this paper the strong completeness of QK,, a minimal quantificational tense logic. Our result differs from those already in the literature, say [l], in two major respects. First, unlike COCCHIARELLA'S proof, which utilizea semantic tableaux, ours is run in the HENKIN fashion (with mo

Convergence results for fixed point iter
Convergence results for fixed point iterations in R
✍ D. Herceg; N. KrejiΔ‡ πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 167 KB

In this paper, we consider the extrapolated iteration and Mann's iteration scheme for computing the fixed point of a real Lipschitz function. Convergence of various types of fixed point iterations is well known for a self mapping which is a contraction. Here, we prove convergence o~ both methods wit