𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Confined modified realizability

✍ Scribed by Gilda Ferreira; Paulo Oliva

Publisher
John Wiley and Sons
Year
2010
Tongue
English
Weight
156 KB
Volume
56
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 version of) our interpretation in the case when least elements exist (e.g. natural numbers). The new interpretation, however, permits the extraction of more accurate bounds, and provides an ideal setting for dealing directly with data types whose natural ordering is not well‐founded (Β© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

πŸ“œ SIMILAR VOLUMES

Physical realizability conditions
Physical realizability conditions
✍ Malcolm K. Brachman; J. Ross Macdonald πŸ“‚ Article πŸ“… 1956 πŸ› Elsevier Science βš– 67 KB

## Physical realizability conditions P e 1 z e r 1) has recently called in question a statement in earlier work 2) of the present authors wherein it is mentioned that the usual conditions for physical realizability on Q(co), the reduced polarization or network function, are too restricted. The pr