Annals of Pure and Applied Logic 161 (11):1379-1389 (2010)

We upgrade the light Dialectica interpretation [6] by adding two more light universal quantifiers, which are both semi-computational and semi-uniform and complement each other. An illustrative example is presented for the new light quantifiers and a new application is given for the older uniform quantifier. The realizability of new light negative formulations for the Axiom of Choice and for the Independence of Premises is explored in the new setting
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2010.04.008
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,579
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Unifying Functional Interpretations.Paulo Oliva - 2006 - Notre Dame Journal of Formal Logic 47 (2):263-290.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Light Monotone Dialectica Methods for Proof Mining.Mircea-Dan Hernest - 2009 - Mathematical Logic Quarterly 55 (5):551-561.
Is and Ought Revisited.Kuno Lorenz - 1987 - Dialectica 41 (1‐2):129-144.
Neutral Relations Revisited.Fraser MacBride - 2007 - Dialectica 61 (1):25–56.
Collective Guilt Feeling Revisited.Anita Konzelmann Ziv - 2007 - Dialectica 61 (3):467–493.


Added to PP index

Total views
29 ( #382,934 of 2,461,835 )

Recent downloads (6 months)
1 ( #448,803 of 2,461,835 )

How can I increase my downloads?


My notes