✦ LIBER ✦

Modified realizability and predicate logic

✍ Scribed by V. E. Plisko

Publisher: SP MAIK Nauka/Interperiodica
Year: 1997
Tongue: English
Weight: 688 KB
Volume: 61
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf02355731

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Confined modified realizability

✍ Gilda Ferreira; Paulo Oliva 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 156 KB

## Abstract We present a refinement ofthe bounded modified realizability which provides both upper and lower bounds for witnesses. Our interpretation is based on a generalisation of Howard/Bezem's notion of strong majorizability. We show how the bounded modified realizability coincides with (a weak

Relative and modified relative realizabi

Relative and modified relative realizability

✍ Lars Birkedal; Jaap van Oosten 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 170 KB

“Everywhere” in predicate algebra and mo

“Everywhere” in predicate algebra and modal logic

✍ Rutger M. Dijkstra 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 574 KB

Some System of Predicate Tense Logic

✍ Helmut Pfeiffer 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 635 KB

Range and degree of realizability of for

Range and degree of realizability of formulas in the restricted predicate calculus

✍ Yu. V. Glebskii; D. I. Kogan; M. I. Liogon'kii; V. A. Talanov 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 934 KB

Decidable and enumerable predicate logic

Decidable and enumerable predicate logics of provability

✍ Giorgie Dzhaparidze 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 958 KB