
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>Abstract Bounded functional interpretations are variants of functional interpretations where bounds (rather than precise witnesses) are extracted from proofs. These have been particularly useful in computationally interpreting non-computational principles such as weak Konig’s lemma. This paper presents a family of bounded functional interpretations — in the form of a parametrized interpretation — of both intuitionistic logic and (a fragment of) intuitionistic linear logic. We show how three different instantiations of the parameters give rise to three recently developed bounded interpretations: the bounded functional interpretation, bounded modified realizability and confined modified realizability.
Logic
Logic
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
