| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662235 | Annals of Pure and Applied Logic | 2010 | 11 Pages |
Abstract
We upgrade the light Dialectica interpretation (Hernest, 2005) [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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
