Sciweavers

APAL
2010

Light Dialectica revisited

13 years 3 months ago
Light Dialectica revisited
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.
Mircea-Dan Hernest, Trifon Trifonov
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2010
Where APAL
Authors Mircea-Dan Hernest, Trifon Trifonov
Comments (0)