✦ LIBER ✦

Note on Some Fixed Point Constructions in Provability Logic

✍ Scribed by Per Lindström

Publisher: Springer Netherlands
Year: 2005
Tongue: English
Weight: 273 KB
Volume: 35
Category: Article
ISSN: 0022-3611
DOI: 10.1007/s10992-005-9013-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some notes on fixed points of quasi-cont

Some notes on fixed points of quasi-contraction maps

✍ Sh. Rezapour; R.H. Haghi; N. Shahzad 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 361 KB

In this paper, we shall give some results about fixed points of quasi-contraction maps on cone metric spaces. These results generalize some recent results.

A note on fixed points in semimodular la

A note on fixed points in semimodular lattices

✍ Anders Björner; Ivan Rival 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 574 KB

Notes on some points in boiler-making

✍ Robert Briggs 📂 Article 📅 1878 🏛 Elsevier Science 🌐 English ⚖ 690 KB

A note on the equivalence of some metric

A note on the equivalence of some metric and cone metric fixed point results

✍ Zoran Kadelburg; Stojan Radenović; Vladimir Rakočević 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 214 KB

Some results on fixed points in a cartes

Some results on fixed points in a cartesian product

✍ JoséLuiz Corrêa Camargo 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 322 KB

Some results on fixed points in the fuzz

Some results on fixed points in the fuzzy metric space

✍ Abdolrahman Razani; Maryam Shirdaryazdi 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 174 KB